Connections between two theories of concurrency: Metric spaces and synchronization trees (Q3343434)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Connections between two theories of concurrency: Metric spaces and synchronization trees |
scientific article |
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
