Work

Decompositional Branching Bisimulation Minimisation of Monolithic Processes

Year: 2022

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-20872-0_10

Authors: Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim Willemse

Institution: Eindhoven University of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: ProRail

OpenAlex ID: W4313069993

FWCI: 0.474

Cites: 18

Cited by: 3

Related to: 10