<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Multi labelled transition systems: a semantic framework for nominal calculi"^^ . "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."^^ . "2007" . . "169" . . "Elsevier"^^ . . . "Electronic Notes in Theoretical Computer Science"^^ . . . "15710661" . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . . . . . "Multi labelled transition systems: a semantic framework for nominal calculi (PDF)"^^ . . . . . . "DeNicola_Loreti.pdf"^^ . . . "Multi labelled transition systems: a semantic framework for nominal calculi (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Multi labelled transition systems: a semantic framework for nominal calculi (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Multi labelled transition systems: a semantic framework for nominal calculi (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Multi labelled transition systems: a semantic framework for nominal calculi (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #289 \n\nMulti labelled transition systems: a semantic framework for nominal calculi\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .