Preface
From MaRDI portal
Publication:5892007
DOI10.3233/FI-2014-1064zbMATH Open1304.00046OpenAlexW4251828236MaRDI QIDQ5892007FDOQ5892007
Authors:
Publication date: 22 December 2014
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2014-1064
Recommendations
- Concurrency, specification and programming. Preface
- Preface: Concurrency, specification and programming (CS\&P).
- Preface
- Concurrency, specification, and programming: special issue of selected papers of CS\&P 2016. Preface
- Preface
- Preface. Concurrency specification and programming 2013 (CS{\&}P'13)
- Concurrency, specification, and programming: special issue of selected papers of CS\&P 2017. Preface
- Concurrent object-oriented programs: from specification to code.
- Specification and verification of concurrent programs through refinements
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (12)
- Special issue on ``Combining compositionality and concurrency. II
- 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 2016. Preface
- 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. Concurrency specification and programming 2013 (CS{\&}P'13)
- Preface: Concurrency, specification and programming (CS\&P).
- Preface
- Special issue on ``Combining compositionality and concurrency. I
- The computer science of concurrency: the early years
This page was built for publication: Preface
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892007)