Process Realizability (2000)

Cached

Download Links

by Samson Abramsky
Venue:In Foundations of Secure Computation
Citations:9 - 1 self

Documents Related by Co-Citation

41 Proofs as processes – S Abramsky - 1994
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
41 On the π-calculus and linear logic – G Bellin, P Scott - 1994
3219 Communication and Concurrency – R Milner - 1990
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
15 Constructive mathematics and automatic program writers – R L Constable - 1971
101 Proofs as programs – J L Bates, Robert L Constable - 1985
13 Synthesis of synchronization skeletons from branching time temporal logic – Edmund M Clarke, E Allen Emerson - 1982
10 An introduction to Input/Output automata. Centrum voor Wiskunde en – N Lynch, M Tuttle - 1989
5 Reasoning About Common Knowledge with Infinitely Many Agents – Joseph Y. Halpern, Richard A. Shore
8 Predicate transformers for infinite-state automata in nuprl type theory – Mark Bickford, Jason Hickey - 1999
2 Models for Concurrency, volume 11 – Uri Abraham - 1999
3 Action structures and the π-calculus – R Milner - 1994
17 On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers – Uri Abraham - 1995
62 Events in Computation – Glynn Winskel - 1980
150 Elements of Interaction – Robin Milner - 1993
63 CC++: A Declarative Concurrent Object Oriented Programming Notation – K. Mani Chandy, Carl Kesselman - 1992
19 From Action Calculi to Linear Logic – Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin - 1998