|
5
|
Categorical Models for Concurrency: Independence, Fairness and Dataflow
– Thomas Troels Hildebrandt
- 2000
|
|
12
|
Relational Semantics of Non-Deterministic Dataflow
– Thomas Troels Hildebrandt, Prakash Panangaden, Glynn Winskel
- 1997
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
1
|
Event structures with persistence
– Lucy G. Brace-evans, Cambridge Cb Fd
- 2008
|
|
242
|
Relations in Concurrency
– Glynn Winskel
|
|
7
|
The Uniformity Principle on Traced Monoidal Categories
– Masahito Hasegawa
- 2003
|
|
22
|
Nuclear and Trace Ideals in Tensored *-Categories
– Samson Abramsky, Richard Blute, Prakash Panangaden
- 1998
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
1
|
Categorical Models for Fairness and a Fully Abstract Presheaf Semantics of SCCS with Finite Delay
– Thomas T. Hildebrandt
- 1999
|
|
7
|
Unique Factorisation Lifting Functors and Categories of Linearly-Controlled Processes
– Marta Bunge, Marcelo P. Fiore
- 1999
|
|
17
|
A Fully Abstract Presheaf Semantics of SCCS with Finite Delay
– Thomas Troels Hildebrandt
- 1999
|
|
4
|
Weak Bisimulation and Open Maps (Extended Abstract)
– Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
- 1999
|
|
6
|
The Expressive Power of Indeterminate Primitives in Asynchronous Computation
– Prakash Panangaden
- 1995
|
|
3
|
Towards a typed geometry of interaction
– Esfandiar Haghverdi, Philip J. Scott
- 2005
|
|
7
|
Presheaf Models for CCS-like Languages
– Glynn Winskel, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani
- 1999
|
|
4
|
Event Structures as Presheaves - Two Representation Theorems
– Glynn Winskel
- 1999
|
|
|
Physics from Computer Science — a position statement —
– Samson Abramsky, Bob Coecke
- 2006
|
|
14
|
Normal Forms for Partitions and Relations
– Roberto Bruni, Fabio Gadducci, Ugo Montanari
- 1999
|
|
2
|
Normal Forms for Algebras of Connections
– Roberto Bruni, Fabio Gadducci, Ugo Montanari
- 2000
|
