Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky. A refinement-based development of a distributed signalling system. Formal Asp. Comput., 33(6):1009-1036, 2021. [doi]
@article{StankaitisIKAIR21,
title = {A refinement-based development of a distributed signalling system},
author = {Paulius Stankaitis and Alexei Iliasov and Tsutomu Kobayashi and Yamine Aït Ameur and Fuyuki Ishikawa and Alexander B. Romanovsky},
year = {2021},
doi = {10.1007/s00165-021-00567-y},
url = {https://doi.org/10.1007/s00165-021-00567-y},
researchr = {https://researchr.org/publication/StankaitisIKAIR21},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {33},
number = {6},
pages = {1009-1036},
}