Presheaf models for CCS-like languages (Q1399958)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Presheaf models for CCS-like languages |
scientific article; zbMATH DE number 1957321
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Presheaf models for CCS-like languages |
scientific article; zbMATH DE number 1957321 |
Statements
Presheaf models for CCS-like languages (English)
0 references
30 July 2003
0 references
Concurrency
0 references
bisimulation
0 references
semantics
0 references
open maps
0 references
0.84041536
0 references
0.8348764
0 references
0.83225715
0 references
0.8310121
0 references
0 references
0.8258048
0 references
