Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi

Publisher Website

1 January 2004

book chapter
Published by Springer Nature

p. 115-130
https://doi.org/10.1007/978-3-540-28644-8_8

Abstract

No abstract available

Keywords

This publication has 12 references indexed in Scilit:

Genericity and the π-Calculus
Published by Springer Nature ,2003
Abstract State Machines
Published by Springer Nature ,2003
On the Expressive Power of Polyadic Synchronisation in π-calculus
Electronic Notes in Theoretical Computer Science, 2002
Sequentiality and the π-Calculus
Published by Springer Nature ,2001
Mobile ambients
Theoretical Computer Science, 2000
An asynchronous model of locality, failure, and process mobility
Published by Springer Nature ,1997
Verifying Programs with Unreliable Channels
Information and Computation, 1996
On reduction-based process semantics
Theoretical Computer Science, 1995
Timed Process Algebras: A Tutorial
Published by Springer Nature ,1993
On asynchronous communication semantics
Published by Springer Nature ,1992