Search

Your search keyword '"Winskel, Glynn"' showing total 193 results

Search Constraints

Start Over You searched for: Author "Winskel, Glynn" Remove constraint Author: "Winskel, Glynn" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
193 results on '"Winskel, Glynn"'

Search Results

1. Borel Determinacy of Concurrent Games

2. Imperfect Information in Logic and Concurrent Games

3. Strategies as Profunctors

4. Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information

5. Bicategories of Concurrent Games : (Invited Paper)

6. Nominal Domain Theory for Concurrency

7. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

8. Symmetry and Concurrency : (Extended Abstract)

9. Probabilistic Event Structures and Domains

10. Full Abstraction for HOPLA

11. HOPLA—A Higher-Order Process Language

12. Composing Strand Spaces

18. Presheaf models for the π-calculus

19. Presheaf models for concurrency

23. Linear logic on Petri nets

29. Petri nets as models of linear logic

30. On the compositional checking of validity

Catalog

Books, media, physical & digital resources