Work

Branching bisimilarity for processes with time-outs

Year: 2024

Type: conference-paper

Abstract: This paper provides an adaptation of branching bisimilarity to reactive systems with time-outs. Multiple equivalent definitions are procured, along with a modal characterisation and a proof of its congruence property for a standard process algebra with recursion. The last section presents a complete axiomatisation for guarded processes without infinite sequences of unobservable actions.

Source: Edinburgh Research Explorer (University of Edinburgh)

DOI: 10.4230/lipics.concur.2024.36

Authors: Reghem, Gaspard, van Glabbeek, Rob J.; id_orcid 0000-0003-4712-7423

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7115167266

FWCI:

Cites:

Cited by:

Related to: