• A
  • ACSD
  • 1998
  • First International Conference on Application of Concurrency to System Design (ACSD'98)
Advanced Search 
First International Conference on Application of Concurrency to System Design (ACSD'98)
Fukushima, Japan
March 23-March 26
ISBN: 0-8186-8350-3
Table of Contents
Tutorial Papers
Jainendra Kumar, Advanced Systems Technology Lab, MOTOROLA Inc.
Carl Pixley, Advanced Systems Technology Lab, MOTOROLA Inc.
pp. 8
Hierarchical Models
Bilung Lee, University of California at Berkeley
Edward A. Lee, University of California at Berkeley
pp. 34
J.R. Beauvais, IRISA, Campus de Beaulieu
R. Houdebine, IRISA, Campus de Beaulieu
P. Le Guernic, IRISA, Campus de Beaulieu
E. Rutten, IRISA, Campus de Beaulieu
T. Gautier, IRISA, Campus de Beaulieu
pp. 52
Hierarchical Verification
Tomohiro Yoneda, Tokyo Institute of Technology
Yutaka Ohtsuka, Tokyo Institute of Technology
Mart Saarepera, Tokyo Institute of Technology
pp. 64
Systems with Timing
Kazuhiro Nakamura, Nara Institute of Science and Technology
Satoshi Yamane, Nara Institute of Science and Technology
pp. 99
Michael V. Goncharov, Institute for Analytical Instrumentation of RAS
Alexander B. Smirnov, Institute for Analytical Instrumentation of RAS
Nikolai A. Starodoubtsev, Institute for Analytical Instrumentation of RAS
Ilya V. Klotchkov, St.-Petersburg State University,
pp. 120
PN-Based Verification
High-Level Nets
Hardware Verification
Panel Discussion
Hot Topics in System Design
Algebraic Models and Languages
Raymond Devillers, Universite Libre de Bruxelles
Maciej Koutny, University of Newcastle
pp. 239
Swarup Mohalik, The Institute of Mathematical Sciences
R. Ramanujam, The Institute of Mathematical Sciences
pp. 250
Case Studies
Franz Huber, Technische Universit?t M?nchen
Sascha Molterer, Technische Universit?t M?nchen
Bernhard Schätz, Technische Universit?t M?nchen
Oscar Slotosch, Technische Universit?t M?nchen
Alexander Vilbig, Technische Universit?t M?nchen
pp. 282
Usage of this product signifies your acceptance of the Terms of Use.