No label defined (Q4250359)
From MaRDI portal
scientific article; zbMATH DE number 1303724
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1303724 |
Statements
30 September 1999
0 references
open-map bisimulation
0 references
presheaf models for interacting processes
0 references
metalanguage for concurrent process languages
0 references
linear logic
0 references
category of nondeterministic domains
0 references
traces
0 references
category of presheaf categories
0 references
