193 results on '"Winskel, Glynn"'
Search Results
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
13. A Higher-Order Calculus for Categories
14. A Linear Metalanguage for Concurrency
15. Event Structures as Presheaves—Two Representation Theorems
16. A relational model of non-deterministic dataflow
17. A categorical axiomatics for bisimulation
18. Presheaf models for the π-calculus
19. Presheaf models for concurrency
20. A presheaf semantics of value-passing processes : Extended abstract
21. Stable bistructure models of PCF : Preliminary draft
22. Bistructures, bidomains and linear logic
23. Linear logic on Petri nets
24. Relationships between models of concurrency
25. A classification of models for concurrency
26. Deterministic behavioural models for concurrency
27. Completeness results for linear logic on Petri nets : Extended abstract
28. Compositional checking of satisfaction
29. Petri nets as models of linear logic
30. On the compositional checking of validity
31. Imperfect Information in Logic and Concurrent Games
32. Borel Determinacy of Concurrent Games
33. Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information
34. Bicategories of Concurrent Games
35. Nominal Domain Theory for Concurrency
36. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
37. Probabilistic Event Structures and Domains
38. Full Abstraction for HOPLA
39. HOPLA—A Higher-Order Process Language
40. Composing Strand Spaces
41. Event Structures as Presheaves—Two Representation Theorems
42. A categorical axiomatics for bisimulation
43. A relational model of non-deterministic dataflow
44. A Linear Metalanguage for Concurrency
45. Presheaf models for the π-calculus
46. Presheaf models for concurrency
47. A presheaf semantics of value-passing processes
48. Relationships between models of concurrency
49. Linear logic on Petri nets
50. Bistructures, bidomains and linear logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.