Typing and Subtyping for Mobile Processes (1996)

by Benjamin Pierce , Davide Sangiorgi
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:246 - 16 self

Active Bibliography

Typing and Subtyping for Mobile Processes (Extended Abstract) – Benjamin Pierce, Davide Sangiorgi - 1992
7 Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d) – Benjamin C. Pierce - 1996
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
137 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
140 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
671 The Lorel Query Language for Semistructured Data – Serge Abiteboul, Dallan Quass, Jason Mchugh, Jennifer Widom, Janet Wiener - 1997
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998