An Interaction-based Language and its Typing System (1994)

Cached

Download Links

by Kaku Takeuchi , Kohei Honda , Makoto Kubo
Venue:In PARLE’94, volume 817 of LNCS
Citations:109 - 17 self

Documents Related by Co-Citation

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
83 Types for Dyadic Interaction – Kohei Honda - 1993
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
49 Types and subtypes for client-server interactions – Simon Gay, Malcolm Hole - 1999
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
49 Correspondence assertions for process synchronization in concurrent communications – Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter - 2005
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
31 Session Types for Functional Multithreading – Vasco Vasconcelos, António Ravara, Simon Gay - 2004
702 Types and programming languages – Benjamin C Pierce - 2002
78 A sort inference algorithm for the polyadic -calculus – Simon J Gay - 1993
77 A Partially Deadlock-free Typed Process Calculus (I) -- A Simple System -- – Naoki Kobayashi
19 Typechecking Safe Process Synchronization – Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter - 2004
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
273 The polyadic -calculus: A tutorial – Robin Milner - 1992
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
59 Subtyping for session types in the pi calculus – S J GAY, M J HOLE - 2005
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991