Reactive bisimulation semantics for a process algebra with timeouts
Crossref DOI link: https://doi.org/10.1007/s00236-022-00417-1
Published Online: 2022-04-08
Published Print: 2023-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
van Glabbeek, Rob
Funding for this research was provided by:
University of New South Wales
Text and Data Mining valid from 2022-04-08
Version of Record valid from 2022-04-08
Article History
Received: 5 May 2021
Accepted: 6 February 2022
First Online: 8 April 2022