eprintid: 283
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/02/83
datestamp: 2011-06-06 08:24:16
lastmod: 2011-07-11 14:36:25
status_changed: 2011-06-06 08:24:16
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Multiple-Labelled Transition Systems for nominal calculi and their logics
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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 . . .) of names; these are essential for modelling changing evaluation environments. We also introduce MoMo, which is a logic inspired by Hennessy–Milner Logic and the μ-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 μKlaim and the asynchronous π-calculus.
date: 2008
date_type: published
publication: Mathematical Structures in Computer Science
volume: 18
number: 1
publisher: Cambridge University Press
pagerange: 107-143
id_number: 10.1017/S0960129507006585
refereed: TRUE
issn: 0960-1295
official_url: http://dx.doi.org/10.1017/S0960129507006585
funders: The work presented in this paper was partially supported by EU Project Software Engineering for Service-Oriented Overlay Computers (SENSORIA, contract IST-3-016004-IP-09).
citation:   De Nicola, Rocco and Loreti, Michele  Multiple-Labelled Transition Systems for nominal calculi and their logics.  Mathematical Structures in Computer Science, 18 (1).  pp. 107-143.  ISSN 0960-1295      (2008)