Volume 70,
Number 1-2,
2006
Application of concurrency to system design (ACSD 04)
- Ryszard Janicki:
Special Issueon Application of Concurrency to System Design.
Electronic Edition (link) BibTeX
- Dag Björklund, Johan Lilius:
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation.
1-20
Electronic Edition (link) BibTeX
- Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey:
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments.
21-48
Electronic Edition (link) BibTeX
- Victor Khomenko, Maciej Koutny, Alexandre Yakovlev:
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT.
49-73
Electronic Edition (link) BibTeX
- Mark Lawford, Vera Pantelic, Hong Zhang:
Towards Integrated Verification of Timed Transition Models.
75-110
Electronic Edition (link) BibTeX
- Kevin D. Seppi, Michael Jones, Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic.
111-126
Electronic Edition (link) BibTeX
- Heikki Tauriainen:
Nested Emptiness Search for Generalized Büchi Automata.
127-154
Electronic Edition (link) BibTeX
- Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester:
Buffered Asynchronous Communication Mechanisms.
155-170
Electronic Edition (link) BibTeX
Volume 70,
Number 3,
2006
Volume 70,
Number 4,
2006
Copyright © Sat May 16 23:59:26 2009
by Michael Ley (ley@uni-trier.de)