Abstract interpretation of trace semantics for concurrent calculi

DOI10.1016/S0020-0190(99)00042-3MaRDI QIDQ1606931zbMATH OpenOpenAlexWikidataFDO

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

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

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

Recommendations

• scientific article; zbMATH DE number 3921989
• Verification of concurrent programs using trace abstraction refinement
• scientific article; zbMATH DE number 1479607
• Trace semantics via determinization
• Trace semantics via determinization
• Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
• Locally abstract, globally concrete semantics of concurrent programming languages

Cited in

(7)

• Traces, Executions and Schedulers, Coalgebraically
• Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs
• scientific article; zbMATH DE number 7167584 (Why is no real title available?)
• Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
• Communicating Sequential Processes. The First 25 Years
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• scientific article; zbMATH DE number 1479607 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606931)