Asynchronous Circuits, Communicating Processes, and Muller Automaton.

Roman R. Redziejowski

Published in: Fundam. Informaticae (2004)

Keyphrases

asynchronous circuits
delay insensitive
communication channels
model checking
process algebra
finite automata
finite state machines
database
process model
sharing information
software engineering
hidden markov models
image sequences
information retrieval
data mining
data sets
real time