Logic in Computer Science (LICS 2000)

Paper: Models for Name-Passing Processes: Interleaving and Causal (at LICS 2000)

Authors: Gian Luca Cattani Peter Sewell

Abstract

We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early-labeled transition system to support the usual pi-calculus operations, defining Indexed Labeled Transition Systems. For non-interleaving causal semantics, we define Indexed Labeled Asynchronous Transition Systems, smoothly generalizing both our interleaving model and the standard Asynchronous Transition Systems model for CCS-like calculi. In each case, we relate a denotational semantics to an operational view, for bisimulation and causal bisimulation respectively. This is a first step towards a uniform understanding of the semantics and operations of name-passing calculi.

BibTeX

  @InProceedings{CattaniSewell-ModelsforNamePassin,
    author = 	 {Gian Luca Cattani and Peter Sewell},
    title = 	 {Models for Name-Passing Processes: Interleaving and Causal},
    booktitle =  {Proceedings of the Fifteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2000},
    year =	 2000,
    editor =	 {Martin Abadi},
    month =	 {June}, 
    pages =      {322--332},
    location =   {Santa Barbara, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }