Higher-Order and Reflexive Action Calculi: Their Type Theory and Models (1998)

Cached

Download Links

by Philippa Gardner , Masahito Hasegawa , Masahito Hasegawa
Citations:1 - 0 self

Documents Related by Co-Citation

4 Action calculi, or concrete action structures – R Milner - 1993
1 Comparing action calculi and tile logic: on the operational semantics of p-calculus – F Gadducci, U Montanari - 1999
1 Operational congruences for reactive systems [Ph.D – J Leifer - 2001
1 Calculi for interactive systems: theory and experiment – P Gardner, R Milner, P Sewell - 2001
1 Müller M, Müller T, Niehren – M Henz, M Mehl - 1994
9 Constraints as Processes – Björn Victor, Joachim Parrow - 1996
60 A Foundation for Higher-order Concurrent Constraint Programming – Gert Smolka - 1994
50 Explicit Fusions – Lucian Wischik, Philippa Gardner - 2000
150 Elements of Interaction – Robin Milner - 1993