Sign in
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems.
Artem Polyvyanyy
Matthias Weidlich
Raffaele Conforti
Marcello La Rosa
Arthur H. M. ter Hofstede
Published in:
Petri Nets (2014)
Keyphrases
</>
concurrent systems
distributed systems
temporal logic
process algebra
model checking
formal specification
transition systems
petri net
semantic relations
case study
data sets
reverse engineering
data quality
binary relations
power spectrum
behavioral patterns
attribute values
object oriented