Sheaf semantics for concurrent interacting objects (Q4017459)
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: Sheaf semantics for concurrent interacting objects
scientific article; zbMATH DE number 91490
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sheaf semantics for concurrent interacting objects |
scientific article; zbMATH DE number 91490 |
Statements
Sheaf semantics for concurrent interacting objects (English)
0 references
16 January 1993
0 references
semantics of concurrent systems
0 references
observable attributes
0 references
interacting concurrent systems
0 references
diagrams of sheaves
0 references
0.8499197959899902
0 references
0.7688174247741699
0 references
0.7587964534759521
0 references
0.7525565028190613
0 references
