Concurrency, specification, and programming: special issue of selected papers of CS\&P 2016. Preface
DOI10.3233/FI-2018-1629zbMATH Open1395.00064MaRDI QIDQ4637899FDOQ4637899
Authors:
Publication date: 3 May 2018
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Recommendations
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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 (10)
- Special issue on ``Comprehending asynchrony in specification and analysis dedicated to Walter Vogler on the occasion of his 60th birthday
- Special issue: Concurrency specification and programming (CS\&P). Selected papers based on the presentations at the workshop, Pułtusk, Poland, September 28--30, 2011. Part 2
- Concurrency, specification, and programming: special issue of selected papers of CS\&P 2017. Preface
- Preface
- Special issue: Concurrency specification and programming (CS\&P 2008). Selected and extended versions based on the presentations at the workshop in Groß\ Väter See (north of Berlin/Germany), 29 September -- 1 October, 2008
- Concurrency, specification and programming. Preface
- Preface
- Preface
- Special issue: Selected papers from the 26th international conference on concurrency theory (CONCUR 2015)
- Preface for the special issue on interaction and concurrency experience 2016
This page was built for publication: Concurrency, specification, and programming: special issue of selected papers of CS\&P 2016. Preface
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4637899)
