Reactive bisimulation semantics for a process algebra with timeouts

From MaRDI portal
Publication:2687033

DOI10.1007/s00236-022-00417-1OpenAlexW3080569247MaRDI QIDQ2687033

Robert J. van Glabbeek

Publication date: 1 March 2023

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-022-00417-1





Cites Work