The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41672
Record Status Checked
Record Id 41672
Title A denotational semantics for the Pi-Calculus
Abstract In his categorical framework, Stark defines a domain-theoretic model for the Π-calculus based on functor categories. Despite being a sound abstract model, a more concrete semantics is required if it is to be used as a basis for proving properties about mobile systems. In this paper, we concretize Stark's denotational model for the pi-calculus and provide a full definition of the semantic domains involved. We also include an example of how the model may be approximated in an abstract interpretation analysis.
Organisation CCLRC
Keywords Engineering , Denotational Semantics , Pi Calculus
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 5th Irish Workshop on Formal Methods (IWFM 2001), Dublin, Ireland, 16-17 Jul 2001, (2001). http://www.bcs.or…?show=ConWebDoc.4142 2001