ACSD 2012 - 12th International Conference on Application of Concurrency to System Design [cover art] (PDF)

Proceedings: 2012 12th International Conference on Application of Concurrency to System Design - ACSD 2012 [breaker page] (PDF)

Proceedings: 2012 12th international conference on application of concurrency to system design - acsd 2012 [breaker page] (PDF)

[Copyright notice] (PDF)

2012 12th International Conference on Application of Concurrency to System Design: ACSD 2012 - Table of contents (PDF)

Message from the Programme Co-chairs (PDF)

Conference Organization (PDF)

Programme Committee (PDF)

External reviewers (PDF)

Design of Networks-on-Chip for Real-Time Multi-processor Systems-on-Chip (Abstract)

GSPNs Revisited: Simple Semantics and New Analysis Algorithms (Abstract)

All Linear-Time Congruences for Finite LTSs and Familiar Operators (Abstract)

Algebra of Parameterised Graphs (Abstract)

Introducing Fairness into Compositional Verification via Unidirectional Counters (Abstract)

A Trace-Based Semantics for Responsiveness (Abstract)

Verifying Performance of Supervised Plants (Abstract)

Large-Scale On-Chip Dynamic Programming Network Inferences Using Moderated Inter-core Communication (Abstract)

Reachability Analysis of P-time Petri Nets with Parametric Markings (Abstract)

Translating Structural Process Properties to Petri Net Markings (Abstract)

Hasse Diagrams of Combined Traces (Abstract)

A High-Level Strategy for C-net Discovery (Abstract)

On Dual-Rail Control Logic for Enhanced Circuit Robustness (Abstract)

A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding (Abstract)

Improving Dynamic Partial Order Reductions for Concolic Testing (Abstract)

PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation (Abstract)

Sequence Chart Studio (Abstract)

Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings (Abstract)

State Space Analysis Using Symmetries on Decision Diagrams (Abstract)

An Algorithmic Framework for Coverability in Well-Structured Systems (Abstract)

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications (Abstract)

Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts (Abstract)

Author index (PDF)

IEEE Computer Society Technical & Conference Activities Board [Publisher's information] (PDF)