Monika Kapus-Kolar. An action refinement operator for E-LOTOS with true concurrency. Computer Standards & Interfaces, 31(1):77-87, 2009. [doi]
@article{Kapus-Kolar09-1, title = {An action refinement operator for E-LOTOS with true concurrency}, author = {Monika Kapus-Kolar}, year = {2009}, doi = {10.1016/j.csi.2007.11.008}, url = {http://dx.doi.org/10.1016/j.csi.2007.11.008}, tags = {refinement, e-science}, researchr = {https://researchr.org/publication/Kapus-Kolar09-1}, cites = {0}, citedby = {0}, journal = {Computer Standards & Interfaces}, volume = {31}, number = {1}, pages = {77-87}, }