L. Cardelli. Obliq: A language with distributed scope. Technical report, Digital Equipment Corporation, Systems Research Center, Palo Alto, California, June 1994. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
An MSC Based Representation of DiCons - Baeten, van Beek, Mauw (2001) (Correct)
Imperative Object-based Calculi In (Co)Inductive Type.. - Ciaffaglione, Liquori.. (2003) (Correct)
On the Formalization of Imperative Object-based.. - Ciaffaglione.. (2003) (1 citation) (Correct)
Resource Control of Untrusted Code in an Open Network Environment - Menage (2003) (2 citations) (Correct)
Dynamic Agency: a Methodology and Architecture for Multiagent.. - Amigoni (2000) (Correct)
Implementation of an Imperative Object Calculus - Computer Science Tripos (Correct)
The Mobile Frame Model - Kirste (1996) (Correct)
Mobile Frames: A pragmatic approach to automatic application.. - Kirste (1996) (Correct)
Inheritance in the Join Calculus (Extended Abstract) - Fournet, Laneve, Maranget, .. (Correct)
The Provision Of Relocation Transparency Through A Formalised.. - Falkner (2000) (1 citation) (Correct)
Developing Interactive Educational Engineering Software For The .. - Reed, Afjeh (1998) (2 citations) (Correct)
Improving the Aircraft Design Process Using Web-based Modeling.. - Reed, al. (Correct)
Internet Protocols for Distributed Consensus - The DiCons language - van Beek (2000) (Correct)
Operational semantics of DiCons, a formal language for.. - Baeten, van Beek, Mauw (2001) (Correct)
An MSC Based Representation of DiCons - Baeten, van Beek, Mauw (2001) (Correct)
Scaling Database Languages to Higher-Order Distributed.. - Mathiske, Matthes.. (1995) (4 citations) (Correct)
Mobile Processes in Cooperative Information Systems - Matthes (1997) (Correct)
Scaling Database Languages to - Higher-Order Distributed Programming (1995) (Correct)
Obliq-3D - Tutorial and Reference Manual - Najork (1994) (Correct)
The Coordination Language Facility: coordination of.. - Jean-Marc Andreoli Steve (1996) (13 citations) (Correct)
Certified Reasoning on Real Numbers and Objects in.. - Ciaffaglione (Correct)
PEer-to-Peer Implementation and TheOry: Report on Mobile .. - Havelka, Haridi, Schulte (2004) (Correct)
Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2001) (8 citations) (Correct)
An Annotated Bibliography of Mobile Agents in Networks - Sriraman (2002) (Correct)
Reasoning on an Imperative Object-based Calculus in Higher.. - Ciaffaglione, al. (2003) (Correct)
First 50 documents Next 50
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