Anne-Marie Dery, Laurence Rideau  Home/Search
Context Related
| inria.fr/INRIA/publicat...RT0165.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present a message protocol used for message passing between external components and a distributed programming environment. This message protocol allows structured data transfer and remote operations as function calls or signal emissions. In the distributed programming environment, a new component called a Message Manager handles the incoming messages and management. This message protocol has been implemented and validated in the centaur system. (Update)
Context of citations to this paper: More
.... Environnement de programmation distribu# La collaboration avec l #quipe croap de l inria sur la d# nition d un protocole de message [29, 16] qui permet une communication client serveur entre un outil externe et un environnement de programmation s est poursuivie. Elle a...
...receiver of messages. We use Sophtalk (Jacobs et al. 1993) to implement the network descriptions and the protocols devised in D#ry Rideau (1994) give us a simple mechanism to encapsulate any process as an object of the network. A central aspect of the protocols is to make...
Cited by: More
FIGUE: Mathematical Formula Layout with Interaction and.. - Naciri, Rideau (2001) (Correct)
A Generic Approach to Building User Interfaces for Theorem.. - Bertot, Thery (1998) (Correct)
Projet CISé - Franchi-Zannettacci, Rueher (Correct)
Active bibliography (related documents): More All
1.0: Framework and Multi-Formalism: the ASAR Project - Asar (Correct)
0.5: Distributed Architecture for Programming Environments - Dery, Rideau (Correct)
0.2: Reasoning About the Reals: the marriage of HOL and Maple - John Harrison (1993) (Correct)
Similar documents based on text: More All
0.6: The Marriage of MathML and Theorem Proving - Naciri, Rideau (2001) (Correct)
0.4: A Generic Library of Floating-Point Numbers and its.. - Daumas, Rideau.. (2001) (Correct)
0.4: D'eveloppement d'un environnement de programmation Centaur.. - Encadrement Rideau (Correct)
Related documents from co-citation: More All
3: volume 828 of Lecture Notes in Computer Science (context) - Paulson, Theorem - 1994
3: The LEGO proof development system: A user's manual (context) - Luo, Pollack - 1992
3: Centaur: the system - Borras, Cl'ement et al. - 1988
BibTeX entry: (Update)
A.M. Dery and L. Rideau. Distributed programming environments: an example of a message protocol. Technical Report 0165, INRIA, Aout 1994. http://citeseer.ist.psu.edu/dery94distributed.html More
@techreport{ derydistributed,
author = "Anne-Marie Dery and Laurence Rideau",
title = "Distributed programming environments: an example of a message protocol",
number = "RT-0165",
pages = "24 p.",
url = "citeseer.ist.psu.edu/dery94distributed.html" }
Citations (may not include all citations):127 Centaur the system - Borras, Clement et al. - 1988
11 Real theorem provers deserve real user interfaces - Thery, Bertot et al. - 1992
6 Integrated Software Components : A paradigm for Control Inte.. - Clement, Montagnac et al. - 1991
5 A distributed architecture for programming environments (context) - Clement - 1990
4 INRIA Rapport Technique no (context) - Jacobs, Bertot et al. - 1993
4 INRIA Rapport Technique no (context) - Jacobs, Montagnac et al. - 1993
2 Final Project Report (context) - Dery - 1992
1 transactions on Computer Systems (context) - Birrel, Nelson et al. - 1984
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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