<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Multiple-Labelled Transition Systems for nominal calculi and their logics"^^ . "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."^^ . "2008" . "18" . "1" . . "Cambridge University Press"^^ . . . "Mathematical Structures in Computer Science"^^ . . . "09601295" . . . . . . . . . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #283 \n\nMultiple-Labelled Transition Systems for nominal calculi and their logics\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .