Change search
ReferencesLink to record
Permanent link

Direct link
A Chart Semantics for the Pi-Calculus
EECS, Technical University of Berlin.
Microsoft Research, Cambridge.
Microsoft Research, Cambridge.
2008 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 194, no 2, 3-29 p.Article in journal (Refereed) Published
Abstract [en]

We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational semantics. A pi-chart is a finite directed acyclic graph recording a computation in the pi-calculus. Each node represents a process, and each edge either represents a computation step, or a message-passing interaction. Pi-charts enjoy a natural pictorial representation, akin to message sequence charts, in which vertical edges represent control flow and horizontal edges represent data flow based on message passing. A pi-chart represents a single computation starting from its top (the nodes with no ancestors) to its bottom (the nodes with no descendants). Unlike conventional reductions or transitions, the edges in a pi-chart induce ancestry and other causal relations on processes. We give both compositional and operational definitions of pi-charts, and illustrate the additional expressivity afforded by the chart semantics via a series of examples. 

Place, publisher, year, edition, pages
2008. Vol. 194, no 2, 3-29 p.
Keyword [en]
pi-calculus; causality; message sequence charts
National Category
Computer Science
URN: urn:nbn:se:uu:diva-161489DOI: 10.1016/j.entcs.2007.11.002OAI: diva2:456297
EXPRESS 2007, 14th International Workshop on Expressiveness in Concurrency, September 3, Lisbon, Portugal
Available from: 2011-12-06 Created: 2011-11-14 Last updated: 2011-12-06Bibliographically approved

Open Access in DiVA

fulltext(363 kB)94 downloads
File information
File name FULLTEXT02.pdfFile size 363 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Borgström, Johannes
In the same journal
Electronical Notes in Theoretical Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 94 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 149 hits
ReferencesLink to record
Permanent link

Direct link