Profunctors, open maps and bisimulation (2000)

Cached

Download Links

by Gian Luca Cattani , Glynn Winskel
Venue:Mathematical Structures in Computer Science, To appear. Available from the Glynn Winskel’s web
Citations:12 - 4 self

Documents Related by Co-Citation

116 Bisimulation from Open Maps – André Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel, Glynn Winskel - 1994
170 G.: Petri nets, event structures and domains – M Nielsen, G Plotkin, Winskel - 1981
106 Scenarios: A model of non-determinate computation,” in – J D Brock, W B Ackerman - 1981
786 The semantics of a simple language for parallel programming – G Kahn - 1974
23 Domain theory for concurrency – Mikkel Nygaard - 2003
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
28 A Relational Model of Non-Deterministic Dataflow – Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel - 1998
58 Events in Security Protocols – Federico Crazzolara , Glynn Winskel - 2001
210 A powerdomain construction – G. D. Plotkin - 1976
26 An Axiomatic Approach to Adequacy – Torben Braüner, Torben Brauner, To Anne - 1996
45 A fully abstract denotational model for higher-order processes – M Hennessy - 1993
130 Lambda-Calculus Models of Programming Languages – J H Morris - 1968
53 Using Information Systems to Solve Recursive Domain Equations – K G Larsen, G Winskel - 1991
164 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
25 Handbook of categorical algebra I: basic category theory – F Borceux - 1994
40 Modèles Complètement Adéquats et Stables des Lambda-calculs Typés. Thèse de Doctorat d’Etat – G Berry - 1979
658 Concurrency and automata on infinite sequences – D Park - 1981
2345 Time, clocks, and the ordering of events in a distributed system – Leslie Lamport - 1978