Abstract interpretation of trace semantics for concurrent calculi

DOI10.1016/S0020-0190(99)00042-3zbMath1002.68097OpenAlexW1995638504WikidataQ126322781 ScholiaQ126322781MaRDI QIDQ1606931

Nicoletta De Francesco, Gigliola Vaglini, Roberto Barbuti, Antonella Santone

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(99)00042-3

zbMATH Keywords

calculus of communicating systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Abstract interpretation of trace semantics for concurrent calculi