( en | de | ru )

 

Disambiguation of "Winskel, Glynn"

Author of the publication

copydeleteadd this publication to your clipboard
Bisimulation from Open Maps.

, , and . Inf. Comput., 127 (2): 164-185 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Glynn Meter

 

Other publications of authors with the same name

Independence and Concurrent Separation Logic., and . Logical Methods in Computer Science, (2008)A Relational Model of Non-deterministic Dataflow., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 613-628. Springer, (1998)A Categorical Axiomatics for Bisimulation., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 581-596. Springer, (1998)A Classification of Models for Concurrency., , and . CONCUR, volume 715 of Lecture Notes in Computer Science, page 82-96. Springer, (1993)On the Compositional Checking of Validity (Extended Abstract).. CONCUR, volume 458 of Lecture Notes in Computer Science, page 481-501. Springer, (1990)Thin Games with Symmetry and Concurrent Hyland-Ong Games., , and . Logical Methods in Computer Science, (2019)Causal Unfoldings and Disjunctive Causes., and . CoRR, (2020)Trace Structures and other Models for Concurrency., and . The Book of Traces, World Scientific, (1995)A Linear Metalanguage for Concurrency.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 42-58. Springer, (1998)Linear Logic on Petri Nets., and . REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 176-229. Springer, (1993)