Login / Signup

Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.

Eike BestNataliya S. GribovskayaIrina B. Virbitskaite
Published in: SOFSEM (2017)
Keyphrases
  • transition systems
  • concurrent systems
  • model checking
  • control flow
  • temporal logic
  • practical reasoning
  • distributed systems