Behavioral Equivalence of Concurrent Systems.

Michael Yoeli Tuvi Etzion

Published in: European Workshop on Applications and Theory of Petri Nets (1982)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
formal specification
petri net
model checking
transition systems
human behavior
behavioral model
data mining
high level
social networks
equivalence relation
behavioral patterns
databases
data sets