CS&P Logo

CS&P 2016
Concurrency, Specification and Programming

Proceedings of the 25th International Workshop on Concurrency, Specification and Programming

Rostock, Germany, September 28-30, 2016.

Edited by

Bernd-Holger Schlingloff

Humboldt-Universität zu Berlin, Institut für Informatik, 10099 Berlin, Germany
Fraunhofer FOKUS, Kaiserin-Augusta-Allee 31, 10589 Berlin, Germany

Table of Contents

Session W1: Plenary talk

Session W2a: Timed Systems

Session W2b: Rough Sets

Session W3a: Petri Nets

Session W3b: Ontology & Information Systems

Session T1a: Hybrid Systems

Session T1b: Applications

Session T2a: Planning

Session T2b: Data Analysis

Session F1a: Probabilistic Verification

Session F1b: Opacity & Synthesis

Session F2a: Classical Methods Improved

Session F2b: New Domains Conquered

Session F3: Closing Session

Additional Items

2016-10-07: submitted by Bernd-Holger Schlingloff, metadata incl. bibliographic data published under Creative Commons CC0
2016-10-08: published on CEUR-WS.org |valid HTML5|