A formal semantics for debugging synchronous message passing-based concurrent programs

DOI10.1007/S11432-014-5150-4zbMATH Open1314.68101OpenAlexW2059538525MaRDI QIDQ2348946FDOQ2348946

Authors: He Li, Jie Luo, Wei Li 

Publication date: 16 June 2015

Published in: Science China Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-014-5150-4

Recommendations

• A formal semantics for program debugging
• Development of a debugger for a concurrent language
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Locally abstract, globally concrete semantics of concurrent programming languages
• Model checking concurrent programs

zbMATH Keywords

synchronousdebuggingconcurrent programoperational semanticsmessage passing

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Cites Work

• A calculus of communicating systems
• Communicating sequential processes
• Mathematical logic. Foundations for information science
• Program Slicing
• A formal semantics for program debugging
• Proof systems for message-passing process algebras

Cited In (5)

• Prefix-based tracing in message-passing concurrency
• A formal semantics for program debugging
• Development of a debugger for a concurrent language
• Debugging process algebra specifications
• Causal-consistent replay reversible semantics for message passing concurrent programs

This page was built for publication: A formal semantics for debugging synchronous message passing-based concurrent programs

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