Lax Bialgebras and Up-To Techniques for Weak Bisimulations (Q5357707): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| label / en | label / en | ||
Lax Bialgebras and Up-To Techniques for Weak Bisimulations | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://hal.archives-ouvertes.fr/hal-01285299 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1842129829 / rank | |||
Normal rank | |||
| Property / title | |||
Lax Bialgebras and Up-To Techniques for Weak Bisimulations (English) | |||
| Property / title: Lax Bialgebras and Up-To Techniques for Weak Bisimulations (English) / rank | |||
Normal rank | |||
Latest revision as of 10:51, 30 July 2024
scientific article; zbMATH DE number 6774215
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lax Bialgebras and Up-To Techniques for Weak Bisimulations |
scientific article; zbMATH DE number 6774215 |
Statements
12 September 2017
0 references
up-to techniques
0 references
weak bisimulation
0 references
lax bialgebras
0 references
Lax Bialgebras and Up-To Techniques for Weak Bisimulations (English)
0 references
