Modular Reasoning for Message-Passing Programs

DOI10.1007/978-3-319-10882-7_17zbMath1432.68265OpenAlexW169760988MaRDI QIDQ2938169

Jinjiang Lei, Zong-Yan Qiu

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10882-7_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Modular Reasoning for Message-Passing Programs