Relationally staged computations in calculi of mobile processes

Electronic Notes in Theoretical Computer Science

Volumn 107, Issue 1-4 SPEC. ISS., 2004, Pages 105-120

  Ghani, Neil ^a   Yemane, Kidane ^b   Victor, Björn ^b  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

Abstract Syntax; Algebra; Coalgebra; Process Calculi

Indexed keywords

ALGEBRA; COMPUTATION THEORY; COMPUTER SIMULATION; FINITE AUTOMATA; MATHEMATICAL PROGRAMMING; SEMANTICS; SYNTACTICS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SET THEORY;

ABSTRACT SYNTAX; COALGEBRA; PROCESS CALCULI; ALGEBRA SEMANTICS; FUNCTORIAL OPERATIONAL SEMANTICS (FOS);

DIFFERENTIATION (CALCULUS);

EID: 17444363432     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.027     Document Type: Conference Paper

References (21)

1. Gianluigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, and Gioia Ristori. Verifying mobile processes in the HAL environment. In Alan J. Hu and Moshe Y. Vardi, editors, Proceedings of CAV '98, volume 1427 of LNCS. Springer, 1998. Tool Poster.
2. Gianluigi Ferrari, Ugo Montanari, and Marco Pistore. Minimizing transition systems for name passing calculi: A co-algebraic formulation. In Mogens Nielsen and Uffe H. Engberg, editors, Proceedings of FoSSaCS 2002, volume 2303 of LNCS, pages 129-143. Springer, April 2002.
3. Marcelo Fiorc, Bugenio Moggi, and Davide Sangiorgi. A fully-abstract model for the π-calculus (extended abstract). In Proceedings of LICS '96, pages 43-54. IEEE, Computer Society Press, July 1996.
4. th LICS Conf., pages 193-202. IEEE, Computer Society Press, 1999.
5. th LICS Conf., pages 93-104. IEEE, Computer Society Press, 2001.
6. Ole Hogh Jensen and Robin Milner. Digraphs and transitions. SIGPLAN Not., 38(1):38-49, 2003.
7. Marina Lenisa, John Power, and Hiroshi Watanabe. Distributivity for endofunctors, pointed and copointed endofunctors, monads and comonads. In Horst Reichel, editor, Proceedings 3rd Workshop on Coalgebraic Methods in Computer Science, CMCS'00, volume 33, Berlin, Germany, 25-26 March 2000. Elsevier.
8. R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer, 1980.
9. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, part I/II. Journal of Information and Computation, 100:1-77, September 1992.
10. Ugo Montanari and Marco Pistore. History dependent automata. Technical report, Computer Science Department, Università di Pisa, 1998. TR-11-98.
11. Joachim Parrow and Björn Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In Proceedings of LICS '98, pages 176-185. IEEE, Computer Society Press, July 1998.
12. Marco Pistore and Davide Sangiorgi. A partition refinement algorithm for the π-calculus. Journal of Information and Computation, 164(2):264-321, January 2001. An extended abstract appeared in Proceedings of CAV'96: 38-49.
13. Marco Pistore and Davide Sangiorgi. A partition refinement algorithm for the π-calculus. Journal of Information and Computation, 164(2):264-321, January 2001. An extended abstract appeared in Proceedings of CAV'96: 38-49.
14. John Power. Towards a theory of mathematical operational semantics. In H. Peter Gumm, editor, Electronic Notes in Theoretical Computer Science, volume 82. Elsevier, 2003.
15. John Power. A unified category-theoretic approach to variable binding. In Proceedings of MERLIN 2003, Uppsala, Sweden, August 2003.
16. Davide Sangiorgi. A theory of bisimulation for the π-calculus. Acta Informatica, 33:69-97, 1996. Earlier version published as Report ECS-LFCS-93-270, University of Edinburgh. An extended abstract appeared in the Proceedings of CONCUR '93, LNCS 715.
17. Davide Sangiorgi. A theory of bisimulation for the π-calculus. Acta Informatica, 33:69-97, 1996. Earlier version published as Report ECS-LFCS-93-270, University of Edinburgh. An extended abstract appeared in the Proceedings of CONCUR '93, LNCS 715.
18. Davide Sangiorgi and David Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
19. th LICS Conf., pages 280-291. IEEE, Computer Society Press, 1997.
20. Daniele Turi. Functorial Operational Semantics and its Denotational Dual. PhD thesis, Free University, Amsterdam, June 1996.
21. Björn Victor and Faron Moller. The Mobility Workbench - a tool for the π-calculus. In David Dill, editor, Proceedings of CAV '94, volume 818 of LNCS, pages 428-440. Springer, 1994.