Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. In 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA. pages 96-103, IEEE Computer Society, 2000. [doi]
@inproceedings{WangTBGI00,
title = {A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems},
author = {Yunming Wang and Jean-Pierre Talpin and Albert Benveniste and Paul Le Guernic},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/isorc/2000/0607/00/06070096abs.htm},
tags = {semantics, UML, state machines},
researchr = {https://researchr.org/publication/WangTBGI00},
cites = {0},
citedby = {0},
pages = {96-103},
booktitle = {3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-0607-0},
}