Mobile processes with local clocks

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

Volumn 1192 LNCS, Issue , 1997, Pages 296-319

  Degano, Pierpaolo ^a   Loddo, Jean Vincent ^a   Priami, Corrado ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

A TRANSITIONS; DISTRIBUTED SYSTEMS; MOBILE PROCESS; NETWORK TOPOLOGY; PIPELINE ARCHITECTURE; STRUCTURAL OPERATIONAL SEMANTICS; TEMPORAL ASPECTS; UNIPROCESSORS;

COMPUTER PROGRAMMING LANGUAGES; ELECTRIC NETWORK TOPOLOGY;

CLOCKS;

EID: 84878649570     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62503-8_14     Document Type: Conference Paper

References (24)

1. L. Aceto and D. Murphy. Timing and causality in process algebra. Technical Report 9/93, University of Sussex, 1993.
2. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): 183-236, 1994.
3. J.C.M. Baeten and J.A. Bergstra. Real-time process algebra. Technical Report CS-R9053, Centre for Mathematics and Computer Science, Amsterdam, 1990.
4. A. Bianchi, S. Coluccini, P. Degano, and C. Priami. An efficient verifier of truly concurrent properties. In V. Malyshkin, editor, Proceedings of PaCT'95, LNCS 964, pages 36-50. Springer-Verlag, 1995.
5. Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, and Bent Thomsen. Understanding mobile agents via a non-interleaving semantics for facile. Technical Report ECRC-96-4, European Computer-Industry Research Centre, 1996.
6. G. Boudol and I. Castellani. A non-interleaving semantics for CCS based on proved transitions. Fundamenta Informaticae, XI(4):433-452, 1988.
7. F. Corradini, R. Gorrieri, and M. Roccetti. Performance preordering: ordering processes with respect to speed. In Proceedings of MFCS95, LNCS 969, 1995.
8. P. Degano, R. De Nicola, and U. Montanari. Partial ordering derivations for CCS. In Proceedings of FCT, LNCS 199, pages 520-533. Springer-Verlag, 1985.
9. P. Degano and C. Priami. Proved trees. In Proceedings of ICALP'92, LNCS 623, pages 629-640. Springer-Verlag, 1992.
10. P. Degano and C. Priami. Causality for mobile processes. In Proceedings of ICALP'95, LNCS 944, pages 660-671. Springer-Verlag, 1995.
11. P. Degano and C. Priami. Enhanced operational semantics. ACM Computing Surveys, 28(2): 352-354, 1996. (Pubitemid 126627758)
12. G. Ferrari and U. Montanari. Dynamic matrices. In Proceedings of AMAST'95, LNCS 936. Springer-Verlag, 1995.
13. R. Gorrieri and M. Roccetti. Towards performance evaluation in process algebras. In Proceedings of AMAST'93, LNCS. Springer Verlag, 1993.
14. R. Gorrieri, M. Roccetti, and E. Stancapiano. A theory of processes with durational actions. Theoretical Computer Science, (140), 1994.
15. E. Goubault. Durations for truly concurrent transitions. In Proceedings of ESOP96, LNCS 1058, pages 173-187, 1995.
16. M. Hennessy and T. Regan. A temporal process algebra. Technical Report 2/90, University of Sussex, 1990.
17. Andrea Maggiolo-Schettini and Adriano Peron. A graph rewriting framework for statecharts semantics. In J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci., volume 1073 of Lecture Notes in Computer Science, pages 107-121. Springer, 1996. (Pubitemid 126073740)
18. Andrea Maggiolo-Schettini and Józef Winkowski. Towards an algebra for timed behaviours. Theeoretical Computer Science, 103(2):335-363, 1992.
19. R. Milner. The polyadic π-calculus: a tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh, 1991.
20. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (I and II). Information and Computation, 100(1):1-77, 1992.
21. F. Moller and C. Tofts. A temporal calculus of communicating processes. In Proceedings of CON CUR'90, LNCS 458. Springer-Verlag, 1990.
22. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Real Time: Theory in Practice, LNCS 600, pages 526-548. Springer-Verlag, 1991.
23. G.M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, pages 249-261, 1988.
24. Y. Wang. Real-time behaviour of asynchronous agents. In J.C.M. Beaten and J. W. Klop, editors, Proceedings of CONCUR'90, LNCS 458. Springer Verlag, 1990.