Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever
From MaRDI portal
Publication:847457
DOI10.1007/978-3-642-11512-7zbMath1183.68009OpenAlexW2504533556MaRDI QIDQ847457
No author found.
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
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication: Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever
