On Deciding some Equivalences for Concurrent Processes.

Dung T. Huynh Lu Tian

Published in: RAIRO Theor. Informatics Appl. (1994)

Keyphrases

concurrent processes
concurrent programs
petri net
connected components
relational algebra
general purpose
database systems
data structure
making decisions