Checking equivalences between concurrent systems of finite agents (Extended abstract) (Q5204358)
From MaRDI portal
scientific article; zbMATH DE number 7139672
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking equivalences between concurrent systems of finite agents (Extended abstract) |
scientific article; zbMATH DE number 7139672 |
Statements
Checking equivalences between concurrent systems of finite agents (Extended abstract) (English)
0 references
4 December 2019
0 references
