Searching...
Advanced Search
A
ACSD
2009
2009 Ninth International Conference on Application of Concurrency to System Design
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2009 Ninth International Conference on Application of Concurrency to System Design
Augsburg, Germany
July 01-July 03
ISBN: 978-0-7695-3697-2
Table of Contents
Papers
[Front cover]
(PDF)
pp. C1
ABSTRACT
PDF
Conference Information
(PDF)
pp. vii-x
ABSTRACT
PDF
[Copyright notice]
(PDF)
pp. iv
ABSTRACT
PDF
Table of contents
(PDF)
pp. v-vi
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Biologically-Inspired Massively-Parallel Architectures - Computing Beyond a Million Processors
(Abstract)
Stephen Furber
Andrew Brown
pp. 3-12
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Formal Verification of Lock-Free Algorithms
(Abstract)
Gerhard Schellhorn
Simon Bäumler
pp. 13-18
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs
(Abstract)
Yosinori Watanabe
pp. 19
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Teak: A Token-Flow Implementation for the Balsa Language
(Abstract)
Andrew Bardsley
Luis Tarazona
Doug Edwards
pp. 23-31
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Desynchronizing Synchronous Programs by Modes
(Abstract)
Jens Brandt
Mike Gemünde
Klaus Schneider
pp. 32-41
ABSTRACT
PDF
PURCHASE ARTICLE: $19
[Roster]
(PDF)
pp. 192
ABSTRACT
PDF
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
(Abstract)
Dumitru Potop-Butucaru
Robert de Simone
Yves Sorel
Jean-Pierre Talpin
pp. 42-51
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Scheduling Synchronous Elastic Designs
(Abstract)
Josep Carmona
Jorge Júlvez
Jordi Cortadella
Michael Kishinevsky
pp. 52-59
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Saving Space in a Time Efficient Simulation Algorithm
(Abstract)
Silvia Crafa
Francesco Ranzato
Francesco Tapparo
pp. 60-69
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete
(Abstract)
Victor Khomenko
Roland Meyer
pp. 70-79
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Petrifying Operating Guidelines for Services
(Abstract)
Niels Lohmann
Karsten Wolf
pp. 80-88
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Variants of the Language Based Synthesis Problem for Petri Nets
(Abstract)
Sebastian Mauser
Robert Lorenz
pp. 89-98
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Flat Arbiters
(Abstract)
Andrey Mokhov
Victor Khomenko
Alex Yakovlev
pp. 99-108
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Trading Off Concurrency to Generate Behavioral Adapters
(Abstract)
Arjan J. Mooij
Marc Voorhoeve
pp. 109-118
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Why Are Modalities Good for Interface Theories?
(Abstract)
Jean-Baptiste Raclet
Eric Badouel
Albert Benveniste
Benoît Caillaud
Roberto Passerone
pp. 119-127
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Model Checking Verilog Descriptions of Cell Libraries
(Abstract)
Matthias Raffelsieper
Jan-Willem Roorda
MohammadReza Mousavi
pp. 128-137
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Time Arc Petri Nets and Their Analysis
(Abstract)
Hind Rakkay
Hanifa Boucheneb
Olivier H. Roux
pp. 138-147
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Specification Enforcing Refinement for Convertibility Verification
(Abstract)
Partha Roop
Alain Girault
Roopak Sinha
Gregor Goessler
pp. 148-157
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Parameterised Process Algebraic Verification by Precongruence Reduction
(Abstract)
Antti Siirtola
Juha Kortelainen
pp. 158-167
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
(Abstract)
Karsten Wolf
Christian Stahl
Janine Ott
Robert Danitz
pp. 168-177
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Genet: A Tool for the Synthesis and Mining of Petri Nets
(Abstract)
Josep Carmona
Jordi Cortadella
Michael Kishinevsky
pp. 181-185
ABSTRACT
PDF
PURCHASE ARTICLE: $19
DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers
(Abstract)
Mark Schaefer
Dominic Wist
Ralf Wollowski
pp. 186-190
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 191
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
