Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench.

Hemangee K. Kapoor Mark B. Josephs

Published in: Inf. Process. Lett. (2004)

Keyphrases

delay insensitive
asynchronous circuits
model checking
concurrency control
database systems
low power
formal verification
transaction management
databases
face recognition
data structure
expert systems
database management systems
fine grained
database
distributed databases
transaction processing