A Relational Model of Non-Deterministic Dataflow (1998)

by Thomas T. Hildebrandt , Prakash Panangaden , Glynn Winskel
Venue:In CONCUR'98, volume 1466 of LNCS
Citations:27 - 13 self

Active Bibliography

6 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
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
1 Event structures with persistence – Lucy G. Brace-evans, Cambridge Cb Fd - 2008
263 Relations in Concurrency – Glynn Winskel
28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
7 The Uniformity Principle on Traced Monoidal Categories – Masahito Hasegawa - 2003
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
7 Unique Factorisation Lifting Functors and Categories of Linearly-Controlled Processes – Marta Bunge, Marcelo P. Fiore - 1999
19 A Fully Abstract Presheaf Semantics of SCCS with Finite Delay – Thomas Troels Hildebrandt - 1999
3 Categorical Models for Fairness and a Fully Abstract Presheaf Semantics of SCCS with Finite Delay – Thomas T. 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
4 Towards a typed geometry of interaction – Esfandiar Haghverdi, Philip J. Scott - 2005
11 Temperley-Lieb Algebra: From Knot Theory to . . . – Samson Abramsky
Physics from Computer Science — a position statement — – Samson Abramsky, Bob Coecke - 2006
8 Presheaf Models for CCS-like Languages – Glynn Winskel, Gian Luca Cattani - 1999
4 Event Structures as Presheaves - Two Representation Theorems – Glynn Winskel - 1999
23 Domain theory for concurrency – Mikkel Nygaard - 2003