π-calculus, structured coalgebras, and minimal HD-automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1893, Issue , 2000, Pages 569-578

  Montanari, Ugo ^a   Pistore, Marco ^b  

^a Earth Sciences Department   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATA THEORY; SEMANTICS;

ABSTRACT SEMANTICS; BISIMULATION RELATIONS; COALGEBRAIC SEMANTICS; MINIMAL REALIZATIONS; NUMBER OF THREADS; PERMUTATION ALGEBRAS; PROCESS ALGEBRAS; TRANSITION SYSTEM;

CALCULATIONS;

EID: 84959203769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44612-5_52     Document Type: Conference Paper

References (13)

1. M. Baldamus. Compositional constructor interpretation over coalgebraic models for the 7r-calculus. In Proc. CMCS'2000, ENTCS 33. Elsevier Science, 2000.
2. A. Corradini, M. Grofie-Rhode, and R. Heckel. Structured transition systems as lax coalgebras. In Proc. CMCS'98, ENTCS 11. Elsevier Science, 1998.
3. A. Corradini, R. Heckel, and U. Montanari. From SOS specifications to structured coalgebras: How to make bisimulation a congruence. In Proc. CMCS'99, ENTCS 19. Elsevier Science, 1999.
4. G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An Automata Based Verification Environment for Mobile Processes. In Proc. TACAS'97, LNCS 1217. Springer Verlag, 1997.
5. G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. Verifying Mobile Processes in the HAL Environment. In Proc. CAV'98, LNCS 1427, Springer Verlag, 1998.
6. M. Fiore, E. Moggi, and D. Sangiorgi. A fully-abstract model for the π-calculus. In Proc. LICS'96, IEEE. Computer Society Press, 1996.
7. F. Honsell, M. Lenisa, U. Montanari, and M. Pistore. Final Semantics for the pi-calculus. In PROCOMET'98. Chapman & Hall, 1998.
8. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation, 100(1):1-77, 1992.
9. U. Montanari and M. Pistore. History Dependent Automata. Technical Report TR-11-98. Università di Pisa, Dipartimento di Informatica, 1998.
10. U. Montanari and M. Pistore. Structured Coalgebras and Minimal HD-Automata for the π-Calculus. Technical Report #0006-02. Istituto per la Ricerca Scientifica e Tecnologica, Istituto Trentino di Cultura, 2000. Available at the URL: http://sra.itc.it/paper.epl?id=MP00.
11. M. Pistore. History Dependent Automata. PhD. Thesis TD-5/99. Universitadi Pisa, Dipartimento di Informatica, 1999. Available at the URL: http://www.di.unipi.it/phd/tesi/tesi_1999/TD-5-99.ps.gz.
12. J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI, 1996. To appear in Theoretical Computer Science.
13. I. Stark. A fully abstract domain model for the pi-calculus. In Proc. LICS'96, IEEE. Computer Society Press, 1996.