Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei. Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Cuza Univ., 20:32-52, 2010. [doi]
@article{BartocciCBMT10a,
title = {Timed Operational Semantics and Well-Formedness of Shape Calculus},
author = {Ezio Bartocci and Diletta Romana Cacciagrano and Maria Rita Di Berardini and Emanuela Merelli and Luca Tesei},
year = {2010},
url = {http://www.infoiasi.ro/bin/Annals/Article?v=XX&a=1},
tags = {semantics, operational semantics},
researchr = {https://researchr.org/publication/BartocciCBMT10a},
cites = {0},
citedby = {0},
journal = {Sci. Ann. Cuza Univ.},
volume = {20},
pages = {32-52},
}