Date 27-29 June 2012
Filter Results
Displaying Results 1 - 25 of 33
-
ACSD 2012 - 12th International Conference on Application of Concurrency to System Design [cover art]
|
PDF (1003 KB)
-
Proceedings: 2012 12th International Conference on Application of Concurrency to System Design - ACSD 2012 [breaker page]
|
PDF (148 KB)
-
Proceedings: 2012 12th international conference on application of concurrency to system design - acsd 2012 [breaker page]
|
PDF (124 KB)
-
[Copyright notice]
|
PDF (148 KB)
-
2012 12th International Conference on Application of Concurrency to System Design: ACSD 2012 - Table of contents
|
PDF (139 KB)
-
Message from the Programme Co-chairs
|
PDF (97 KB)
-
Conference Organization
|
PDF (93 KB)
-
Programme Committee
|
PDF (113 KB)
-
External reviewers
|
PDF (77 KB)
-
-
-
-
Algebra of Parameterised Graphs
|
PDF (441 KB)
-
-
A Trace-Based Semantics for Responsiveness
|
PDF (464 KB)
-
Verifying Performance of Supervised Plants
|
PDF (664 KB)
-
-
-
-
Hasse Diagrams of Combined Traces
|
PDF (328 KB)
-
A High-Level Strategy for C-net Discovery
|
PDF (318 KB)
-
-
-
-


