{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301393},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625032"},{"type":"electronic","value":"9783540680529"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62503-8_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:40:09Z","timestamp":1330296009000},"page":"296-319","source":"Crossref","is-referenced-by-count":5,"title":["Mobile processes with local clocks"],"prefix":"10.1007","author":[{"given":"Pierpaolo","family":"Degano","sequence":"first","affiliation":[]},{"given":"Jean-Vincent","family":"Loddo","sequence":"additional","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"14_CR1","unstructured":"L. Aceto and D. Murphy. Timing and causality in process algebra. Technical Report 9\/93, University of Sussex, 1993."},{"issue":"2","key":"14_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183\u2013236, 1994.","journal-title":"Theoretical Computer Science"},{"key":"14_CR3","volume-title":"Technical Report CS-R9053","author":"J.C.M Baeten","year":"1990","unstructured":"J.C.M Baeten and J.A. Bergstra. Real-time process algebra. Technical Report CS-R9053, Centre for Mathematics and Computer Science, Amsterdam, 1990."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"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\u201350. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60222-4_95"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-61739-6_36"},{"issue":"4","key":"14_CR6","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"XI","author":"G. Boudol","year":"1988","unstructured":"G. Boudol and I. Castellani. A non-interleaving semantics for CCS based on proved transitions. Fundamenta Informaticae, XI(4):433\u2013452, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"F. Corradini, R. Gorrieri, and M. Roccetti. Performance preordering: ordering processes with respect to speed. In Proceedings of MFCS95, LNCS 969, 1995.","DOI":"10.1007\/3-540-60246-1_150"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Partial ordering derivations for CCS. In Proceedings of FCT, LNCS 199, pages 520\u2013533. Springer-Verlag, 1985.","DOI":"10.1007\/BFb0028836"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Proved trees. In Proceedings of ICALP'92, LNCS 623, pages 629\u2013640. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_110"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Causality for mobile processes. In Proceedings of ICALP'95, LNCS 944, pages 660\u2013671. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60084-1_113"},{"issue":"2","key":"14_CR11","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/234528.234748","volume":"28","author":"P. Degano","year":"1996","unstructured":"P. Degano and C. Priami. Enhanced operational semantics. ACM Computing Surveys, 28(2):352\u2013354, 1996.","journal-title":"ACM Computing Surveys"},{"key":"14_CR12","unstructured":"G. Ferrari and U. Montanari. Dynamic matrices. In Proceedings of AMAST'95, LNCS 936. Springer-Verlag, 1995."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"R. Gorrieri and M. Roccetti. Towards performance evaluation in process algebras. In Proceedings of AMAST'93, LNCS. Springer Verlag, 1993.","DOI":"10.1007\/978-1-4471-3227-1_30"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"R. Gorrieri, M. Roccetti, and E. Stancapiano. A theory of processes with durational actions. Theoretical Computer Science, (140), 1994.","DOI":"10.1016\/0304-3975(94)00205-W"},{"key":"14_CR15","first-page":"173","volume":"1058","author":"E. Goubault","year":"1995","unstructured":"E. Goubault. Durations for truly concurrent transitions. In Proceedings of ESOP96, LNCS 1058, pages 173\u2013187, 1995.","journal-title":"LNCS"},{"key":"14_CR16","unstructured":"M. Hennessy and T. Regan. A temporal process algebra. Technical Report 2\/90, University of Sussex, 1990."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"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\u2013121. Springer, 1996.","DOI":"10.1007\/3-540-61228-9_82"},{"issue":"2","key":"14_CR18","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0304-3975(92)90018-B","volume":"103","author":"A. Maggiolo-Schettini","year":"1992","unstructured":"Andrea Maggiolo-Schettini and J\u00f3zef Winkowski. Towards an algebra for timed behaviours. Theeoretical Computer Science, 103(2):335\u2013363, 1992.","journal-title":"Theeoretical Computer Science"},{"key":"14_CR19","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh, 1991."},{"issue":"1","key":"14_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (I and II). Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"14_CR21","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating processes. In Proceedings of CONCUR'90, LNCS 458. Springer-Verlag, 1990."},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Real Time: Theory in Practice, LNCS 600, pages 526\u2013548. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0032006"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, pages 249\u2013261, 1988.","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/BFb0039080"}],"container-title":["Lecture Notes in Computer Science","Analysis and Verification of Multiple-Agent Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62503-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:14:44Z","timestamp":1640949284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62503-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625032","9783540680529"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-62503-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}