Mikai Yang, Greg J. Michaelson, Rob Pooley. Formal Action Semantics for a UML Action Language. J. UCS, 14(21):3608-3624, 2008. [doi]
@article{YangMP08,
title = {Formal Action Semantics for a UML Action Language},
author = {Mikai Yang and Greg J. Michaelson and Rob Pooley},
year = {2008},
url = {http://www.jucs.org/jucs_14_21/formal_action_semantics_for},
tags = {semantics, formal semantics, action semantics, UML},
researchr = {https://researchr.org/publication/YangMP08},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {14},
number = {21},
pages = {3608-3624},
}