Concurrency, specification and programming. Preface

DOI10.3233/FI-2013-928zbMATH Open1298.00267OpenAlexW4249234820MaRDI QIDQ5411642FDOQ5411642

Authors:

Publication date: 25 April 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-928

Recommendations

• Preface
• Preface
• Concurrency, specification, and programming: special issue of selected papers of CS\&P 2017. Preface
• Concurrency, specification, and programming: special issue of selected papers of CS\&P 2016. Preface
• Preface: Concurrency, specification and programming (CS\&P).

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) 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 (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
• Preface. Concurrency specification and programming 2013 (CS{\&}P'13)
• Preface: Concurrency, specification and programming (CS\&P).
• Preface
• Preface: Special issue on trends in concurrency theory (selected invited contributions from the workshops TRENDS 2014 and 2015)
• Special issue on ``Combining compositionality and concurrency. I
• The computer science of concurrency: the early years

This page was built for publication: Concurrency, specification and programming. Preface

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