( en | de | ru )

 

Disambiguation of "Winskel, Glynn"

Author of the publication

copydeleteadd this publication to your clipboard
Weak Bisimulation and Open Maps.

, , and . LICS, page 67-76. IEEE Computer Society, (1999)

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

A Compositional Proof System on a Category of Labelled Transition Systems. Inf. Comput., 87 (1/2): 2-57 (July 1990)Using Information Systems to Solve Recursive Domain Equations, and . Inf. Comput., 91 (2): 232-258 (April 1991)Synchronization Trees.. Theor. Comput. Sci., (1984)Petri Nets, Event Structures and Domains, Part I., , and . Theor. Comput. Sci., (1981)Presheaf models for CCS-like languages., and . Theor. Comput. Sci., 300 (1-3): 47-89 (2003)Event Structures with Symmetry.. Computation, Meaning, and Logic, volume 172 of Electronic Notes in Theoretical Computer Science, page 611-652. Elsevier, (2007)A New Definition of Morphism on Petri Nets.. STACS, volume 166 of Lecture Notes in Computer Science, page 140-150. Springer, (1984)Linear Logic on Petri Nets., and . REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 176-229. Springer, (1993)A Linear Metalanguage for Concurrency.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 42-58. Springer, (1998)Trace Structures and other Models for Concurrency., and . The Book of Traces, World Scientific, (1995)