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-5zbMATH Open1309.00072OpenAlexW2081369371WikidataQ122210405 ScholiaQ122210405MaRDI QIDQ2340251
Author name not available (Why is that?)
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
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)
Recommendations
- Title not available (Why is that?) π π
- Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever π π
- On bisimulations for the asynchronous \(\pi\)-calculus π π
- Special issue on ``Combining compositionality and concurrency. II π π
- Special issue on ``Combining compositionality and concurrency. I π π
- Special issue on the tenth workshop on programming language approaches to concurrency- and communication-centric software π π
- Preface π π
- Preface π π
- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis π π
- On bisimulations for the asynchronous Ο-calculus π π
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)
