Standard SOS formats are limited in their ability to define the operational semantics of process calculi with concurrency, causality, and mobility, and with bound names and name generation mechanisms. In this paper we describe a general approach, based on the tile model, to the definition of the operational semantics of process calculi. By providing tile systems for located CCS and asynchronous rr-calculus we demonstrate that the proposed approach is more suited than SOS to provide a uniform treatment of concurrency and mobility within a compositional framework. (C) 2000 Academic Press.
|Autori interni:||FERRARI, GIAN-LUIGI|
MONTANARI, UGO GIOVANNI ERASMO
|Autori:||FERRARI G; MONTANARI U.|
|Titolo:||Tile Formats for Located and Mobile Systems|
|Anno del prodotto:||2000|
|Digital Object Identifier (DOI):||10.1006/inco.1999.2825|
|Appare nelle tipologie:||1.1 Articolo in rivista|