Work

Divergence-Preserving Branching Bisimilarity

Year: 2020

Type: article

Abstract: This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.322.2

Author: Bas Luttik

Institution: Eindhoven University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W3081765253

FWCI: 0.372

Cites: 25

Cited by: 5

Related to: