Reordering and Simulation in Concurrent Systems Dipl

  title={Reordering and Simulation in Concurrent Systems Dipl},
  author={Dipl.-Ing. Christoph Baumann},
  • Dipl.-Ing. Christoph Baumann
  • Published 2012
In this document we present intermediate results of our ongoing work in the field of the formal specification and verification of concurrent systems with shared memory. In particular here we focus on the specification of such systems and develop a generic framework to model their operational semantics. Every participant in the concurrent system is… CONTINUE READING