Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever

DOI10.1007/978-3-642-11512-7MaRDI QIDQ847457zbMATH OpenOpenAlexFDO

Authors

Publication date 16 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11512-7

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(4)

• Special issue on ``Comprehending asynchrony in specification and analysis dedicated to Walter Vogler on the occasion of his 60th birthday
• Satisfiability in composition-nominative logics
• Models, Languages, and Tools for Concurrent and Distributed Programming
• Robin Milner 1934--2010

This page was built for publication: Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever

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