|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
23
|
A Theory of Recursive Domains with Applications to Concurrency
– Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
- 1997
|
|
5
|
Categorical Models for Concurrency: Independence, Fairness and Dataflow
– Thomas Troels Hildebrandt
- 2000
|
|
10
|
Profunctors, open maps and bisimulation
– Gian Luca Cattani, Glynn Winskel
- 2000
|
|
|
Towards a Categorical Axiomatics of Bisimulation
– Gian Luca Cattani, A. John Power, Glynn Winskel
- 1999
|
|
3
|
Linearity and nonlinearity in distributed computation
– Glynn Winskel
|
|
12
|
Linearity in Process Languages
– Mikkel Nygaard, et al.
|
|
6
|
General structural operational semantics through categorical logic (Extended Abstract)
– Sam Staton
- 2008
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
22
|
Models for Name-Passing Processes: Interleaving and Causal
– Gian Luca Cattani, Peter Sewell
- 2000
|
|
12
|
Relational Semantics of Non-Deterministic Dataflow
– Thomas Troels Hildebrandt, Prakash Panangaden, Glynn Winskel
- 1997
|
|
7
|
Presheaf Models for CCS-like Languages
– Glynn Winskel, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani
- 1999
|
|
18
|
A Categorical Axiomatics for Bisimulation
– John Power, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani
- 1998
|
|
10
|
A Linear Metalanguage for Concurrency
– Glynn Winskel, Glynn Winskel
- 1998
|
|
4
|
Weak Bisimulation and Open Maps (Extended Abstract)
– Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
- 1999
|
|
20
|
Domain theory for concurrency
– Mikkel Nygaard
- 2003
|
|
7
|
Unique Factorisation Lifting Functors and Categories of Linearly-Controlled Processes
– Marta Bunge, Marcelo P. Fiore
- 1999
|
|
|
Presheaf semantics for HOPLA
– Mikkel Nygaard
- 2002
|
|
28
|
A Relational Model of Non-Deterministic Dataflow
– Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
- 1998
|
