Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi | Zendy

Rocco De Nicola | Zendy; Michele Loreti | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi

Author(s) -

Rocco De Nicola,

Michele Loreti

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.05.019

Subject(s) - computer science , semantics (computer science) , transition system , asynchronous communication , programming language , operational semantics , fragment (logic) , theoretical computer science , artificial intelligence , computer network

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research