Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm. A Semantics for Distributed Execution of Statemate. Formal Asp. Comput., 15(4):390-405, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.