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]
@article{FranzleNMD03,
title = {A Semantics for Distributed Execution of Statemate},
author = {Martin Fränzle and Jürgen Niehaus and Alexander Metzner and Werner Damm},
year = {2003},
doi = {10.1007/s00165-003-0015-4},
url = {http://dx.doi.org/10.1007/s00165-003-0015-4},
tags = {semantics},
researchr = {https://researchr.org/publication/FranzleNMD03},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {15},
number = {4},
pages = {390-405},
}