R. Milner. Elements of interaction. Communications of the ACM, 36(1):78--89, January 1993. Turing Award lecture. (p. 4) Home/Search Document Not in Database Context ACM TOC Related Articles Check |
This paper is cited by the following papers:
Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (15 citations) (Correct)
An Axiomatic Basis for Designing Interactive Systems - Srinivasa, Raghunandan (Correct)
CPO Models for GSOS Languages - Part I: Compact GSOS Languages - Aceto, Ingólfsdóttir (1994) (2 citations) (Correct)
On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (6 citations) (Correct)
Getting Demos Models Right Part I: Practice - Birtwistle, Tofts (Correct)
Object Naming and Object Composition - Ramazani, Bochmann, Flocchini (1998) (1 citation) (Correct)
On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (6 citations) (Correct)
An Algebraic Semantics for the LO Coordination Language - Balestreri (1998) (Correct)
A Multiset Semantics for the pi-Calculus with Replication - Engelfriet (1993) (1 citation) (Correct)
A Functional Theory of Local Names - Odersky (1994) (23 citations) (Correct)
A Simple pi-Calculus Manipulation Tool - van Deursen (Correct)
A Web based Course Scheduler in Constraint Logic.. - Lawal, Gilbert.. (1997) (1 citation) (Correct)
Sequential-System Factorization - Rath (Correct)
Metric Semantics for Second Order Communication - de Bakker, al. (1995) (1 citation) (Correct)
Calculi for Mobile Processes - Bibliography and Web Pages - Nestmann, Victor (1998) (Correct)
Names and Higher-Order Functions - Stark (1995) (29 citations) (Correct)
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC