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

808 The semantics of a simple language for parallel programming – G Kahn
117 Bisimulation from Open Maps – André Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel, Glynn Winskel - 1994
171 G.: Petri nets, event structures and domains – M Nielsen, G D Plotkin, Winskel - 1981
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
662 Concurrency and automata on infinite sequences – D Park - 1981
2363 Time, Clocks, and the Ordering of Events in a Distributed System – Leslie Lamport - 1978
107 Scenarios: A model of non-determinate computation. Formalizations of Programming Concepts – J Brock, W Ackerman - 1981
1351 A calculus of communicating systems – R Milner - 1980
928 S.: Categories for the Working Mathematician – Mac Lane - 1998