Strong Normalisation in the π-Calculus (2001)

by Nobuko Yoshida , Martin Berger , Kohei Honda
Citations:30 - 15 self

Documents Related by Co-Citation

29 Sequentiality and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2001
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
179 The polyadic π-calculus: a tutorial – Robin Milner - 1991
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001
199 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
262 Expressing mobility in process algebras: First-order and higherorder paradigms – D Sangiorgi - 1992
28 Composing Processes – Kohei Honda - 1996
34 A new type system for deadlock-free processes – Naoki Kobayashi - 2006
109 An Interaction-based Language and its Typing System – Kaku Takeuchi, Kohei Honda, Makoto Kubo - 1994
91 A Generic Type System for the Pi-Calculus – Atsushi Igarashi, Naoki Kobayashi - 2003
3219 Communication and Concurrency – R Milner - 1990
60 Graph Types For Monadic Mobile Processes – Nobuko Yoshida - 1996
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
17 Towards Abstractions for Distributed Systems – Martin Berger - 2004
189 A Calculus of Mobile Processes, Part I – Robin Milner, Joachim Parrow, David Walker - 1989
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
201 Resource Access Control in Systems of Mobile Agents – Matthew Hennessy, James Riely - 1998