Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera. An abstract execution model for basic LOTOS. IEE Proceedings - Software, 5(6):311-318, 1990. [doi]
@article{ValenzanoSC90-0,
title = {An abstract execution model for basic LOTOS},
author = {Adriano Valenzano and Riccardo Sisto and Luigi Ciminiera},
year = {1990},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=61745},
researchr = {https://researchr.org/publication/ValenzanoSC90-0},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {5},
number = {6},
pages = {311-318},
}