1989
Correctness and full abstraction of metric semantics for concurrency
Publication
Publication
Presented at the
Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency | |
Organisation | Computational models |
Rutten, J. (1989). Correctness and full abstraction of metric semantics for concurrency. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (pp. 628–659). Springer. |