2012 12th International Conference on Application of Concurrency to System Design (2012)
Hamburg, Germany
June 27, 2012 to June 29, 2012
ISSN: 1550-4808
ISBN: 978-0-7695-4709-1
TABLE OF CONTENTS
Papers
[Copyright notice] (PDF)
pp. iv
Conference Organization (PDF)
pp. viii
Programme Committee (PDF)
pp. ix
External reviewers (PDF)
pp. x
GSPNs Revisited: Simple Semantics and New Analysis Algorithms (Abstract)
pp. 6-11
All Linear-Time Congruences for Finite LTSs and Familiar Operators (Abstract)
pp. 12-21
Algebra of Parameterised Graphs (Abstract)
pp. 22-31
A Trace-Based Semantics for Responsiveness (Abstract)
pp. 42-51
Improving Dynamic Partial Order Reductions for Concolic Testing (Abstract)
pp. 132-141
Sequence Chart Studio (Abstract)
pp. 148-153
An Algorithmic Framework for Coverability in Well-Structured Systems (Abstract)
pp. 173-182
Author index (PDF)
pp. 204