|
Vol-2240
urn:nbn:de:0074-2240-3
Copyright ©
2018 for the individual papers
by the papers' authors. Copying permitted for private and academic purposes.
This volume is published and copyrighted by its editors.
|
CS&P 2018
Concurrency, Specification and Programming
Proceedings of the 27th International Workshop on Concurrency, Specification and Programming
Berlin, Germany, September 24-26, 2018.
Edited by
Humboldt-Universität zu Berlin, Institut für Informatik, 10099 Berlin, Germany
Fraunhofer FOKUS, Kaiserin-Augusta-Allee 31, 10589 Berlin, Germany
Table of Contents
-
Preface
Bernd-Holger Schlingloff, Samira Akili
Invited Talk 1
Session 1: Concurrent Systems
Session 2: Rough Sets
Session 3: Optimizing Computations
Session 4: Verification
Session 5: Reaction Systems
Invited Talk 2
Session 6: Specification
Session 7: Learning Systems
Additional Items
2018-10-24: submitted by Samira Akili,
metadata incl. bibliographic data published under Creative Commons CC0
2018-11-03: published on CEUR-WS.org
|valid HTML5|