Some equivalence notions for concurrent systems. An overview.

Published in: Applications and Theory in Petri Nets (1985)

Keyphrases

current status
concurrent systems
temporal logic
distributed systems
process algebra
model checking
petri net
formal specification
transition systems
data sets
database
np complete
computational properties
key properties