Final semantics for a higher order concurrent language (Q5878904)
From MaRDI portal
scientific article; zbMATH DE number 7656669
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Final semantics for a higher order concurrent language |
scientific article; zbMATH DE number 7656669 |
Statements
Final semantics for a higher order concurrent language (English)
0 references
23 February 2023
0 references
second-order assignment
0 references
F-coalgebra
0 references
F-bisimulation
0 references
final semantics
0 references
operational semantics
0 references
hyperset
0 references
complete metric space
0 references
coinduction
0 references
mixed induction-coinduction
0 references
