Special issue on ``Comprehending asynchrony in specification and analysis dedicated to Walter Vogler on the occasion of his 60th birthday

DOI10.1007/S00236-015-0214-5MaRDI QIDQ2340251zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 16 April 2015

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-015-0214-5

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)

Recommendations

• scientific article; zbMATH DE number 3938554
• From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
• Special issue on ``Combining compositionality and concurrency. II
• Special issue on ``Combining compositionality and concurrency. I
• Concurrency, specification, and programming: special issue of selected papers of CS\&P 2016. Preface
• On bisimulations for the asynchronous -calculus
• On bisimulations for the asynchronous π-calculus
• Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever
• Preface
• Special issue on the tenth workshop on programming language approaches to concurrency- and communication-centric software

This page was built for publication: Special issue on ``Comprehending asynchrony in specification and analysis dedicated to Walter Vogler on the occasion of his 60th birthday

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