Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.

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