Connections between two theories of concurrency: Metric spaces and synchronization trees (Q3343434)
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: Connections between two theories of concurrency: Metric spaces and synchronization trees |
scientific article; zbMATH DE number 3878353
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Connections between two theories of concurrency: Metric spaces and synchronization trees |
scientific article; zbMATH DE number 3878353 |
Statements
Connections between two theories of concurrency: Metric spaces and synchronization trees (English)
0 references
1983
0 references
semantic theories of concurrency
0 references
denotational semantics
0 references
metric spaces
0 references
algebraic semantics of communication
0 references
observational equivalence
0 references
rigid synchronization trees
0 references
weak equivalence relation
0 references
modal logic
0 references
0.8097866773605347
0 references
0.7675193548202515
0 references
0.7673799991607666
0 references
0.7662965059280396
0 references
0.7643960118293762
0 references
