( en | de | ru )

 

Disambiguation of "Winskel, Glynn"

Author of the publication

copydeleteadd this publication to your clipboard
Preface.

, , , and . Ann. Pure Appl. Log., 104 (1-3): 1-2 (2000)

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

An introduction to event structures.. REX Workshop, volume 354 of Lecture Notes in Computer Science, page 364-397. Springer, (1988)Linear Logic on Petri Nets., and . REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 176-229. Springer, (1993)A New Definition of Morphism on Petri Nets.. STACS, volume 166 of Lecture Notes in Computer Science, page 140-150. Springer, (1984)Independence and Concurrent Separation Logic., and . Logical Methods in Computer Science, (2008)A Linear Metalanguage for Concurrency.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 42-58. Springer, (1998)A Relational Model of Non-deterministic Dataflow., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 613-628. Springer, (1998)A Classification of Models for Concurrency., , and . CONCUR, volume 715 of Lecture Notes in Computer Science, page 82-96. Springer, (1993)A Categorical Axiomatics for Bisimulation., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 581-596. Springer, (1998)On the Compositional Checking of Validity (Extended Abstract).. CONCUR, volume 458 of Lecture Notes in Computer Science, page 481-501. Springer, (1990)Trace Structures and other Models for Concurrency., and . The Book of Traces, World Scientific, (1995)