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

DOI10.1007/s11432-014-5150-4zbMath1314.68101OpenAlexW2059538525MaRDI QIDQ2348946

Wei Li, He Li, Jie Luo

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

zbMATH Keywords

operational semanticsmessage passingdebuggingsynchronousconcurrent program

Mathematics Subject Classification ID

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

Cites Work

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