Higher-Order and Reflexive Action Calculi: Their Type Theory and Models (1998)
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 |
| 58 | A Foundation for Higher-order Concurrent Constraint Programming – Gert Smolka - 1994 |
| 42 | Explicit Fusions – Lucian Wischik, Philippa Gardner - 2000 |
| 135 | Elements of Interaction – Robin Milner - 1993 |
