eprintid: 289
rev_number: 13
eprint_status: archive
userid: 32
dir: disk0/00/00/02/89
datestamp: 2011-06-06 08:15:00
lastmod: 2014-10-08 09:16:27
status_changed: 2011-06-06 08:15:00
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: Multi labelled transition systems: a semantic framework for nominal calculi
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Mobile Code Languages; Temporal Logics of Programs; Coordination Models; Proof Systems
abstract: Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper, Multiple Labelled Transition Systems (MLTS) are introduced as generalizations of LTS that permit dealing also with systems features that are becoming more and more important when considering languages and models for network aware programming. MLTS permit describing not only the actions systems can perform but also system's resources usage and their handling (creation, revelation ...) of names. To show adeguacy of our proposal we show how MLTS can be used to describe the operational semantics of one of the most studied calculus for mobility: the asynchronous [pi]-calculus.
date: 2007
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 169
publisher: Elsevier
pagerange: 133-146
id_number: 10.1016/j.entcs.2007.05.019
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S1571066107003362
funders: The work presented in this paper has been 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  Multi labelled transition systems: a semantic framework for nominal calculi.  Electronic Notes in Theoretical Computer Science, 169.  pp. 133-146.  ISSN 1571-0661      (2007)  
document_url: http://eprints.imtlucca.it/289/1/DeNicola_Loreti.pdf