Gott nytt år!

Happy New Year!

pi calculus

The Pi-calculus is a theory of Mobile Processes.
Some useful links:
Pi calculus on Wikipedia
Theory of Distributed Systems (course COM3190/COM6890)
Mobile Processes
Pi Calculus for SOA
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus
Pint, an Erlang-based pi-calculus platform (tool)

LaTeX tip #5

To properly number equations under eqnarray tag use the following pattern:
\begin{eqnarray}
Math stuff & more math stuff & more math stuff \nonumber\Math stuff & more math stuff & more math stuff \nonumber\\end{eqnarray}

LaTeX tip #4

Tip below requires the amslatex macros.
These are automatically loaded if you use the amsart documentclass, but if you use other documentclasses, such as article, put the following in the preamble, after \documentclass{...}: \usepackage{amsmath, amsthm, amssymb} .

Theorem and Proof enviroment can be done in LaTeX as follows:

\newtheorem{Task}{Task}
\newcommand{\change}{}
\newenvironment{Exc}{\begin{Task} \rm}{\hfill $\Box$ \end{Task}}

More on the same topic: LaTeX tips: Theorems

LaTeX tip #3

One very useful tool in displaying equations well is eqnarray, which allows you to neatly align a string of equations:

\documentclass[11pt]{article}
\begin{document}
\begin{eqnarray*}
2x^2 + 3(x-1)(x-2)&=&2x^2 + 3(x^2-3x+2)\&=& 2x^2 + 3x^2 - 9x + 6\&=& 5x^2 - 9x + 6
\end{eqnarray*}
\end{document}

The * after eqnarray prevents line numbers from popping up after each line.

More on the same topic: Math in LaTeX

Unary and Binary Function

A Unary Function is called with a single argument.
The domain of a Unary Function is the set of all permissible values for its argument.
The range of a Unary Function is the set of all possible values that it may return.

A Binary Function is called with two arguments.
The domain of a Binary Function is the set of all ordered pairs (x, y) that are permissible values for its arguments.
The range of a Binary Function is the set of all possible value that it may return.

Quoted from http://www.sgi.com/tech/stl