No label defined (Q4250359)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1303724
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7829156517982483
0 references
0.7540469765663147
0 references
0.7352637648582458
0 references
0.733692467212677
0 references
