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