Login / Signup
Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.
Martin Berger
Published in:
CONCUR (2004)
Keyphrases
</>
theoretical basis
petri net
database
neural network
theoretical framework
timed automata
search space
finite state machines
discrete event
asynchronous circuits