J.J.M.M. Rutten (rutten-jjmm)

Contributions to Philosophie.ch

Bibliography

Rutten, J. J. M. M. 1989. “Correctness and Full Abstraction of Metric Semantics for Concurrency.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 628–659. Lecture Notes in Computer Science n. 354. Berlin: Springer.