Login / Signup

Equivalence Notions for Concurrent Systems.

Fiorella de CindioGiorgio De MichelisLucia PomelloCarla Simone
Published in: European Workshop on Applications and Theory of Petri Nets (1982)
Keyphrases
  • concurrent systems
  • temporal logic
  • distributed systems
  • process algebra
  • transition systems
  • model checking
  • formal specification
  • petri net
  • database
  • genetic algorithm
  • software engineering