Results 231 to 240 of about 5,002 (241)
Some of the next articles are maybe not open access.

Pi-Calculus

2011
Bruce Leasure   +54 more
openaire   +1 more source

Stochastic pi-Calculus

2013
Alida Palmisano, Corrado Priami
openaire   +1 more source

The \(\pi\)-calculus: Notes on labelled semantics

1999
Summary: The \(\pi\)-calculus is a name-passing calculus that allows the description of distributed systems with a dynamically changing interconnection topology. Name communication, together with the possibility of declaring and exporting local names, gives the calculus a great expressive power.
openaire   +2 more sources

A G-Local pi-calculus

2011
BODEI, CHIARA   +2 more
openaire   +1 more source

Home - About - Disclaimer - Privacy