Login / Signup

Untanglings: a novel approach to analyzing concurrent systems.

Artem PolyvyanyyMarcello La RosaChun OuyangArthur H. M. ter Hofstede
Published in: Formal Aspects Comput. (2015)
Keyphrases
  • concurrent systems
  • distributed systems
  • temporal logic
  • process algebra
  • petri net
  • formal specification
  • transition systems
  • model checking
  • e learning
  • fuzzy petri net
  • databases