Work

Familial monads and structural operational semantics

Year: 2019

Type: article

Abstract: We propose a categorical framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence. We then refine the framework to prove soundness of bisimulation up to context, an efficient method for reducing the size of bisimulation relations. Finally, we demonstrate the flexibility of our approach by reproving known results in three variants of the π-calculus.

Source: Proceedings of the ACM on Programming Languages

DOI: 10.1145/3290334

Author: Tom Hirschowitz

Institutions: Centre National de la Recherche Scientifique, Laboratoire d’Analyse et de Mathématiques Appliquées, Le LAMA, Université Savoie Mont Blanc

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2899892155

FWCI: 1.236

Cites: 34

Cited by: 5

Related to: 10