On Process-algebraic Verification of Asynchronous Circuits.

Xu Wang Marta Z. Kwiatkowska

Published in: Fundam. Informaticae (2007)

Keyphrases

mathematical theory
asynchronous circuits
image processing
model checking
process algebra
databases
development process
information systems
mobile robot
process model