Paper Info
Title
A Well-behaved LTS for the Pi-calculus: (Abstract)
Abstract
The pi-calculus and its many variations have received much attention in the literature. We discuss the standard early labelled transition system (lts) and outline an approach which decomposes the system into two components, one of which is presented in detail. The advantages of using the decomposition include a more complete understanding of the treatment of bound outputs in Pi as well as an lts which is more robust with respect to the addition and removal of language features. The present paper serves as an overview of some of the techniques involved and some of the goals of the ongoing work.
Year
DOI
Venue
2007
10.1016/j.entcs.2007.10.002
Electronic Notes in Theoretical Computer Science
Keywords
DocType
Volume
Pi-calculus,process calculi,semantics,labelled transition systems
Journal
192
Issue
ISSN
Citations 
1
1571-0661
1
PageRank 
References 
Authors
0.37
8
1
Name
Order
Citations
PageRank
Paweł Sobociński160945.57