Search Results

Results tagged with
Search options user 898
9 results

The pi-calculus is a formal model of concurrent computation that works by creating and exchanging names (connection points).

The process $P{\langle 0, c, d\rangle}$ in the context of a recursively defined process like  P{\langle count, c, d\rangle} \quad\stackrel{\text{def}}{=}\quad c(v).(\overline{d}\langle count+v …
answered Jan 28 '17 by Martin Berger
Sequential execution is an edge case of concurrent computation. Robin Milner said this clearly in his Turing award lecture "Elements of interaction" (CACM, 36(1), 1993): I reject the idea that there …
answered May 20 '16 by Martin Berger
The key to understanding scope management in $\pi$-calculi is to look at the structural congruence $P \equiv Q$ and at the notions of free name $\newcommand{\FN}[1]{\text{fn}(#1)}\FN{P}$ and free vari …
answered Oct 23 '15 by Martin Berger
Scope extrusion is the key advance of $\pi$-calculus over earlier calculi such as CCS. Scope extrusion is the source of $\pi$-calculus' power of expressing (in a succint and compositional way) other f …
answered Jul 4 '16 by Martin Berger
This is a really interesting question and only partially understood. The $\newcommand{\OUT}[2]{\overline{#1} #2 }$ precise answer to such questions depends in subtle ways on exactly what the amb …
answered Jul 13 '15 by Martin Berger
Let me clarify the setting, which has nothing to do with $\pi$-calculus or bisimulation. The first thing you have to realise that it does not make much sense to talk about a programming language with …
answered May 12 '16 by Martin Berger
Here is a simple encoding: $(\nu a)(\overline{a}\langle x\rangle | !a(x).\big( in(y).\overline{a}\langle y \rangle\ +\ \overline{out}\langle x \rangle.\overline{a}\langle x \rangle\big)$.
answered Dec 14 '11 by Martin Berger
About a decade ago, Ene and Muntean showed that broadcasting has no reasonable compositional encoding into the $\pi$-calculus [1]. The essence of their separation between point-to-point communication …
answered Mar 19 '12 by Martin Berger
There are plenty such typing systems. Most work is based on the linear/affine typing system introduced in (1) and generalised in (2). Here are the main works on this subject. In (3) the typing system …
answered Jun 13 '17 by Martin Berger