Most of the SOS semantics for concurrent systems can be derived by abstracting on the inference rules of a concrete transition system, namely the proved transition system. Besides the standard in-terleaving semantics we mechanically derive the causal transition system for CCS, whose definition is particularly dificult and paradigmatic. Its rules are shown to coincide with those presented in the literature. Also, the tree of its computations coincide with that obtained by abstracting the computations of the proved transition system. © 1998 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bodei, C., Degano, P., & Priami, C. (1998). Constructing specific SOS semantics for concurrency via abstract interpretation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1503, pp. 168–183). Springer Verlag. https://doi.org/10.1007/3-540-49727-7_10
Mendeley helps you to discover research relevant for your work.