Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
On cool congruence formats for weak bisimulations
Rob van Glabbeek
Laboratory for Foundations of Computer Science
School of Informatics
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On cool congruence formats for weak bisimulations'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Bisimulation
100%
Congruence
78%
Look-ahead
30%
Process Algebra
27%
Branching
21%
Equivalence
15%
Sound
10%
Operator
10%
Analogue
7%
Form
4%
Engineering & Materials Science
Algebra
92%
Mathematical operators
40%
Acoustic waves
34%