{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,24]],"date-time":"2023-08-24T04:55:11Z","timestamp":1692852911461},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2008,2,1]],"date-time":"2008-02-01T00:00:00Z","timestamp":1201824000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2008,2]]},"abstract":"<jats:p>Action-labelled transition systems (LTSs) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper we introduce Multiple-Labelled Transition Systems (MLTSs) as generalisations of LTSs that enable us to deal with system features that are becoming increasingly important when considering languages and models for network-aware programming. MLTSs enable us to describe not only the actions that systems can perform but also their usage of resources and their handling (creation, revelation .\u00a0.\u00a0.) of names; these are essential for modelling changing evaluation environments. We also introduce MoMo, which is a logic inspired by Hennessy\u2013Milner Logic and the \u03bc-calculus, that enables us to consider state properties in a distributed environment and the impact of actions and movements over the different sites. MoMo operators are interpreted over MLTSs and both MLTSs and MoMo are used to provide a semantic framework to describe two basic calculi for mobile computing, namely \u03bcKlaim and the asynchronous \u03c0-calculus.<\/jats:p>","DOI":"10.1017\/s0960129507006585","type":"journal-article","created":{"date-parts":[[2008,3,5]],"date-time":"2008-03-05T14:42:14Z","timestamp":1204728134000},"page":"107-143","source":"Crossref","is-referenced-by-count":5,"title":["Multiple-Labelled Transition Systems for nominal calculi and their logics"],"prefix":"10.1017","volume":"18","author":[{"given":"ROCCO","family":"DE NICOLA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MICHELE","family":"LORETI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2008,2,1]]},"reference":[{"key":"S0960129507006585_ref7","unstructured":"Cardelli L. and Gordon A. D. (2006) Ambient logic. Mathematical Structures in Computer Science (to appear)."},{"key":"S0960129507006585_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24727-2_7"},{"key":"S0960129507006585_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40042-4_4"},{"key":"S0960129507006585_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_3"},{"key":"S0960129507006585_ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"S0960129507006585_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00223-5"},{"key":"S0960129507006585_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057019"},{"key":"S0960129507006585_ref4","unstructured":"Boudol G. (1992) Asynchrony and the \u03c0-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis."},{"key":"S0960129507006585_ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2460"},{"key":"S0960129507006585_ref8","doi-asserted-by":"publisher","DOI":"10.1145\/63334.63337"},{"key":"S0960129507006585_ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014530313153"},{"key":"S0960129507006585_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"S0960129507006585_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.11.005"},{"key":"S0960129507006585_ref10","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0072"},{"key":"S0960129507006585_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_5"},{"key":"S0960129507006585_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61604-7_67"},{"key":"S0960129507006585_ref15","doi-asserted-by":"crossref","unstructured":"Gabbay M. and Pitts A. M. (1999) A new approach to abstract syntax involving binders. Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society 214\u2013224.","DOI":"10.1109\/LICS.1999.782617"},{"key":"S0960129507006585_ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2433"},{"key":"S0960129507006585_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51285-3_30"},{"key":"S0960129507006585_ref19","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.3089"},{"key":"S0960129507006585_ref21","doi-asserted-by":"publisher","DOI":"10.1109\/32.666824"},{"key":"S0960129507006585_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90156-N"},{"key":"S0960129507006585_ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029817"},{"key":"S0960129507006585_ref24","doi-asserted-by":"crossref","unstructured":"Wojciechowski P. T. and Sewell P. (1999) Nomadic Pict: Language and infrastructure design for mobile agents. In: ASA\/MA, IEEE Computer Society 2\u201312.","DOI":"10.1109\/ASAMA.1999.805388"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129507006585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T17:45:06Z","timestamp":1557337506000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129507006585\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,2]]}},"alternative-id":["S0960129507006585"],"URL":"https:\/\/doi.org\/10.1017\/s0960129507006585","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2]]}}}