Ugo Montanari  Home/Search
Context
Related
| di.unipi.it/pub/techrep...TR0214.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unipi.it/ricerca/TR/tr2002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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