Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

CMSB
2008
Springer

favoriteEmaildiscussreport

77views Applied Computing» more CMSB 2008»

The Attributed Pi Calculus

13 years 6 months ago

The Attributed Pi Calculus

Download hal.archives-ouvertes.fr

Mathias John, Cédric Lhoussaine, Joachim Ni

Real-time Traffic

Applied Computing | CMSB 2008 |

claim paper

Related Content

» Dynamic Compartments in the Imperative piCalculus

» Strong Bisimulation for the Explicit Fusion Calculus

» A Linear Account of Session Types in the Pi Calculus

» Representation of the Signal Transduction with Aberrance Using Ipi Calculus

» PiLib A Hosted Language for PiCalculus Style Concurrency

» Notes on Nominal Calculi for Security and Mobility

» An Open Approach for the Applied Pi Calculus

» Mobile values new names and secure communication

» Epistemic Logic for the Applied Pi Calculus

Post Info
More Details (n/a)

Added	18 Oct 2010
Updated	18 Oct 2010
Type	Conference
Year	2008
Where	CMSB
Authors	Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher

Comments (0)