Prefix-based tracing in message-passing concurrency

DOI10.1007/978-3-030-98869-2_9MaRDI QIDQ6102258zbMATH OpenOpenAlexFDO

Authors Juan José González-Abril, Germán Vidal

Publication date 8 May 2023

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-98869-2_9

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Tracking CSP computations
• Computing race variants in message-passing concurrent programming with selective receives
• Verification of concurrent programs using trace abstraction refinement
• scientific article; zbMATH DE number 177254
• A formal semantics for debugging synchronous message passing-based concurrent programs

Cites work

• A reversible semantics for Erlang
• A theory of reversibility for Erlang
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent replay debugging for message passing programs
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Dynamic partial-order reduction for model checking software
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• Source sets: a foundation for optimal dynamic partial order reduction

Cited in

(1)

• Computing race variants in message-passing concurrent programming with selective receives

This page was built for publication: Prefix-based tracing in message-passing concurrency

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