DOI10.3233/FI-2017-1599zbMath1386.68109arXiv1701.02199OpenAlexW2765615144MaRDI QIDQ4606265
Jacek Sroka, Jan Hidders
Publication date: 2 March 2018 Published in: Fundamenta Informaticae (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1701.02199
Mathematics Subject Classification ID
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
