Preface

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

Mathematics Subject Classification ID

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)