The Community for Technology Leaders
2010 10th International Conference on Application of Concurrency to System Design (2004)
Hamilton, Ontario, Canada
June 16, 2004 to June 18, 2004
ISBN: 0-7695-2077-4
TABLE OF CONTENTS

Preface (PDF)

pp. viii

Reviewers (PDF)

pp. xi
Invited Talk
Architecture, Circuits, and Communication

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT (Abstract)

Maciej Koutny , University of Newcastle upon Tyne, UK
Alex Yakovlev , University of Newcastle upon Tyne, UK
Victor Khomenko , University of Newcastle upon Tyne, UK
pp. 16

Property Checking based on Hierarchical Integer Equations (Abstract)

Zainalabedin Navabi , University of Tehran, Iran
Bijan Alizadeh , University of Tehran, Iran
pp. 26

Buffered Asynchronous Communication Mechanisms (Abstract)

Fei Xia , Univ. of Newcastle upon Tyne, UK
Alex Yakovlev , Univ. of Newcastle upon Tyne, UK
Ian Clark , Univ. of Newcastle upon Tyne, UK
E. Graeme Chester , Univ. of Newcastle upon Tyne, UK
Fei Hao , Univ. of Newcastle upon Tyne, UK
pp. 36
Synchronous Systems and Components

A Behavioral Type Inference System for Compositional System-on-Chip Design (PDF)

Paul Le Guernic , INRIA-IRISA
David Berner , INRIA-IRISA
Abdoulaye Gamati? , INRIA-IRISA
Jean-Pierre Talpin , INRIA-IRISA
Sandeep Kumar Shukla , Virginia Tech
Rajesh Gupta , University of California at San Diego
pp. 47

Concurrency in Synchronous Systems (Abstract)

Dumitru Potop-Butucaru , IRISA, France
Albert Benveniste , IRISA, France
Beno? Caillaud , IRISA, France
pp. 67
Process Algebras and Petri Nets

Context-based Process Algebras for Mobility (Abstract)

R. Devillers , Universit? Libre de Bruxelles, Belgium
H. Klaudel , Universit? d'Evry, LaMI, France
M. Koutny , University of Newcastle, United Kingdom
pp. 79

Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments (Abstract)

Hemangee K. Kapoor , London South Bank University, UK
Mark B. Josephs , London South Bank University, UK
Dennis P. Furey , London South Bank University, UK
pp. 89

A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets (Abstract)

Hanna Klaudel , LaMI, Universit? d'Evry, France
Elisabeth Pelz , LACL, Universit? Paris 12, France
Roland Bouroulet , LACL, Universit? Paris 12, France
pp. 99
Invited Talk
Programming Languages and Translations

On the Practicality and Desirability of Highly-concurrent, Mostly-functional Programming (Abstract)

Carl H. Hauser , Washington State University, Pullman
David B. Benson , Washington State University, Pullman
pp. 115

Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation (Abstract)

Dag Bj?rklund , ?bo Akademi University, Finland
Johan Lilius , ?bo Akademi University, Finland
pp. 125

Translating Erlang to μCRL (Abstract)

Clara Benac Earle , University of Kent, Canterbury, UK
Thomas Arts , IT University of Gothenburg, Sweden
Juan Jos? S?nchez Penas , University of Corunha, Spain
pp. 135

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models (Abstract)

Hamed Iravanchi , Tehran University, Iran
Amin Shali , Tehran University, Iran
Mohammad Mahdi Jaghoori , Tehran University, Iran
Ali Movaghar , Sharif University of Technology, Tehran, Iran
Marjan Sirjani , Sharif University of Technology, Tehran, Iran; Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
pp. 145
Invited Talk

Synthesis of Supervisory Controls for Discrete Event Systems (PDF)

J. G. Thistle , University of Waterloo, Ontario, Canada
pp. 151
Verification I

Equivalence Verification of Timed Transition Models (Abstract)

Mark Lawford , McMaster University, Hamilton, ON, Canada
Hong Zhang , McMaster University, Hamilton, ON, Canada
pp. 155

Nested Emptiness Search for Generalized B?chi Automata (Abstract)

Heikki Tauriainen , Helsinki University of Technology, Finland
pp. 165

New Orbit Algorithms for Data Symmetries (Abstract)

Tommi A. Junttila , Helsinki University of Technology, Finland
pp. 175

Modular Analysis of Systems Composed of Semiautonomous Subsystems (Abstract)

Charles Lakos , University of Adelaide, Australia
Laure Petrucci , Universit? Paris XIII, France
pp. 185
Verification II

BMC via Dynamic Atomicity Analysis (Abstract)

Toni Jussila , Helsinki University of Technology, Finland
pp. 197

Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems (Abstract)

Marc Sol? , Technical University of Catalonia, Spain
Enric Pastor , Technical University of Catalonia, Spain
pp. 207

Guided Model Checking with a Bayesian Meta-heuristic (Abstract)

Kevin Seppi , Brigham Young University, Provo UT
Michael Jones , Brigham Young University, Provo UT
Peter Lamborn , Brigham Young University, Provo UT
pp. 217

Author Index (PDF)

pp. 227
104 ms
(Ver 3.3 (11022016))