Fourth International Conference on Application of Concurrency to System Design. ACSD 2004 : proceedings : 16-18 June 2004, Hamilton, Ontario, Canada / editors Mike Kishinewsky, Philippe Dorondeau ; sponsored by Software Quality Research Laboratory, McMaster University (SQRL) ... [and others].

Format:

Book

Conference/Event

Contributor:

Kishinewsky, Mike.

Darondeau, Philippe.

IEEE Xplore (Online service)

Software Quality Research Laboratory, McMaster University (SQRL)

Conference Name:

International Conference on Application of Concurrency to System Design (4th : 2004 : Hamilton, Ont.)

Language:

English

Subjects (All):

System design--Congresses.

System design.

Parallel processing (Electronic computers)--Congresses.

Parallel processing (Electronic computers).

Genre:

Conference papers and proceedings.

Physical Description:

xi, 227 pages : illustrations

Other Title:

Application of concurrency to system design

ACSD 2004

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, 2004.

System Details:

Mode of access: World Wide Web.

text file

Contents:

Testing Times: On Model-Driven Test Generation for Non-deterministic Real-Time Systems / E. Brinksma 3

Architecture, Circuits, and Communication

Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis / W. M. Zuberek 7

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT / V. Khomenko, M. Koutny, A. Yakovlev 16

Property Checking Based on Hierarchical Integer Equations / B. Alizadeh, Z. Navabi 26

Buffered Asynchronous Communication Mechanisms / F. Xia, F. Hao, I. Clark, A. Yakovlev, E. G. Chester 36

Synchronous Systems and Components

A Behavioral Type Inference System for Compositional System-on-Chip Design / J.-P. Talpin, D. Berner, S. Kumar Shukla, P. Le Guernic, A. Gamatie, R. Gupta 47

Arrays and Contracts for the Specification and Analysis of Regular Systems / F. Maraninchi, L. Morel 57

Concurrency in Synchronous Systems / D. Potop-Butucaru, B. Caillaud, A. Benveniste 67

Process Algebras and Petri Nets

Context-Based Process Algebras for Mobility / R. Devillers, H. Klaudel, M. Koutny 79

Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments / H. K. Kapoor, M. B. Josephs, D. P. Furey 89

A Semantics of Security Protocol Language (SPL) Using a Class of Composable High-Level Petri Nets / R. Bouroulet, H. Klaudel, E. Pelz 99

Comparison of Methods for Supervisory Control and Submodule Construction / G. v. Bochmann, B. Daou 111

Programming Languages and Translations

On the Practicality and Desirability of Highly-Concurrent, Mostly-Functional Programming / C. H. Hauser, D. B. Benson 115

Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation / D. Bjorklund, J. Lilius 125

Translating Erlang to [mu]CRL / T. Arts, C. B. Earle, J. J. Sanchez Penas 135

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models / M. Sirjani, A. Shali, M. M. Jaghoori, H. Iravanchi, A. Movaghar 145

Synthesis of Supervisory Controls for Discrete Event Systems / J. G. Thistle 151

Verification I

Equivalence Verification of Timed Transition Models / M. Lawford, H. Zhang 155

Nested Emptiness Search for Generalized Buchi Automata / H. Tauriainen 165

New Orbit Algorithms for Data Symmetries / T. A. Junttila 175

Modular Analysis of Systems Composed of Semiautonomous Subsystems / C. Lakos, L. Petrucci 185

Verification II

BMC via Dynamic Atomicity Analysis / T. Jussila 197

Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems / M. Sole, E. Pastor 207

Guided Model Checking with a Bayesian Meta-heuristic / K. Seppi, M. Jones, P. Lamborn 217.

Notes:

Includes bibliographical references and author index.

ISBN:

0769520774

9780769520773

OCLC:

55609712

Access Restriction:

Restricted for use by site license.