See this document in CiteSeerX!

π-Calculus Early Observational Equivalence: A First Order Coalgebraic Model (2002)  (Make Corrections)  
Ugo Montanari



  Home/Search   Context   Related

 
View or download:
di.unipi.it/pub/techrep...TR0214.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  di.unipi.it/ricerca/TR/tr2002 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In this paper, we propose a compositional coalgebraic semantics of the -calculus based on a novel approach for lifting calculi with structural axioms to coalgebraic models. We equip the transition system of the calculus with permutations, parallel composition and restriction operations, thus obtaining a bialgebra. No pre x operation is introduced, relying instead on a clause format de ning the transitions of recursively de ned processes. The unique morphism to the nal bialgebra... (Update)

Active bibliography (related documents):   More   All
0.6:   Structured Coalbegras and Minimal Hd Automata for the.. - Montanari, Pistore (2000)   (Correct)
0.3:   About Permutation Algebras and Sheaves (and Named Sets.. - Gadducci, Miculan.. (2003)   (Correct)
0.3:   Some Characterization Results for Permutation Algebras - Gadducci, Miculan, Montanari   (Correct)

Similar documents based on text:   More   All
0.3:   High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001)   (Correct)
0.3:   High-Level Petri Nets as - Type Theories In   (Correct)
0.3:   A Logical ramework for the spi-calculus - Montanari, Tuosto   (Correct)

BibTeX entry:   (Update)

@misc{ montanari-picalculus,
  author = "Ugo Montanari",
  title = "π-Calculus Early Observational Equivalence: A First Order Coalgebraic
    Model",
  url = "citeseer.ist.psu.edu/montanari02picalculus.html" }
Citations (may not include all citations):
854   Information and Computation (context) - Milner, Parrow et al. - 1992
186   Universal coalgebra: a theory of systems - Rutten - 2000
66   A new approach to abstract syntax involving binders - Gabbay, Pitts - 1999
36   Higher level synchronising devices in MEIJE-SCCS (context) - De Simone - 1985
11   Nominal Logic: A First Order Theory of Names and Binding - Pitts - 2001
10   Compositional SOS and beyond: A coalgebraic view of open sys.. - Corradini, Heckel et al. - 2002
8   Structured Coalgebras and Minimal HD-Automata (context) - Montanari, Pistore - 2000
7   Semantics of name and value passing - Fiore, Turi - 2001
5   Minimizing Transition Systems for Name Passing Calculi: A Co.. (context) - Ferrari, Montanari et al. - 2002
5   Dipartimento di Informatica (context) - Pistore, Automata et al. - 1999
5   Structured transition systems as lax coalgebras (context) - Corradini, Gro et al. - 1998
1   A pi-calculus with Explicit Substitutions (context) - Ferrari, Montanari et al. - 1996
1   Structured Coalgebras and Minimal HD-Automata for the pi-Cal.. (context) - Montanari, Pistore - 2000

Documents on the same site (http://www.di.unipi.it/ricerca/TR/tr2002.html):   More
Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002)   (Correct)
Recovery Of Certain Displacement Matrices - Bozzo (2002)   (Correct)
A New Approach to Three-Level Logic Synthesis - Ciriani (2002)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC