F. Maraninchi  Home/Search
Context Related
| imag.fr/pub/SPECTR...osIEEEVisual.ps.gz arpont.imag.fr//PE...osIEEEVisual.ps.gz verimag.imag.fr//P...osIEEEVisual.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 Problem Downloading? From: caltech.edu/~sedwards/sedwards (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the Argos graphical synchronous language for the description of reactive systems, and the Argonaute environment associated with it. Systems like communication protocols, real time process controllers or man/machine interfaces contain a reactive kernel. Its behaviour can be described in a convenient manner by an automaton , for formal validation purposes. But, in general, complex systems cannot be described directly as automata. The Statecharts [4,5] and Argos [7,8] are automata-based ... (Update)
Cited by: More
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
The Esterel v5 Language Primer - Version v5_91 - Berry (2000) (Correct)
Synchronous Dataflow Pattern Matching - Hamon (2004) (Correct)
Active bibliography (related documents): More All
0.4: Formale Verifikation eingebetteter Systeme - Schmid, Schneider, Huhn.. (Correct)
0.3: Argonaute: Graphical Description, Semantics and Verification of .. - Maraninchi (1989) (Correct)
0.3: Operational and Compositional Semantics of Synchronous.. - Maraninchi (1992) (Correct)
Similar documents based on text: More All
0.3: Compiling ARGOS into Boolean equations (Extended Abstract) - Maraninchi, Halbwachs (1996) (Correct)
0.3: Verifying Quantitative Real-Time Properties of.. - Jourdan, Maraninchi.. (1993) (Correct)
0.2: A Modular State/Transition Approach for programming Reactive .. - Jourdan, Maraninchi (1994) (Correct)
Related documents from co-citation: More All
32: Statecharts: A visual formalism for complex systems - Harel - 1987
27: Communicating Sequential Processes (context) - Hoare - 1985
26: The synchronous data-flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
BibTeX entry: (Update)
F. Maraninchi. The Argos language: Graphical representation of automata and description of reactive systems. In IEEE Workshop on Visual Languages, October 1991. http://citeseer.ist.psu.edu/maraninchi91argo.html More
@misc{ maraninchi91argos,
author = "F. Maraninchi",
title = "The Argos language: Graphical representation of automata and description
of reactive systems",
text = "F. Maraninchi. The Argos language: Graphical representation of automata
and description of reactive systems. In IEEE Workshop on Visual Languages,
October 1991.",
year = "1991",
url = "citeseer.ist.psu.edu/maraninchi91argo.html" }
Citations (may not include all citations):457 The ESTEREL Synchronous Programming Language: Design - Berry, Gonthier - 1988
140 On Visual Formalisms - Harel - 1988 ACM DBLP
112 StateCharts : A visual Approach to Complex Systems (context) - Harel - 1987
38 An Implementation of an Efficient Algorithm for Bisimulation.. - Fernandez - 1990 ACM DBLP
34 a declarative language for programming synchronous systems (context) - Caspi, Pilaud et al. - 1987
14 Semantics and Verification of Reactive Systems by Using a Pr.. (context) - Maraninchi, Graphical - 1989
5 Argos: a graphical synchronous language for the description .. (context) - Maraninchi
3 NATO Advanced Study Institute on Logics and Models for Verif.. (context) - Harel, Pnueli et al. - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://alumni.caltech.edu/~sedwards/sedwards.html): More
Analysis of Combinational Cycles in Sequential Circuits - Shiple, Singhal.. (1996) (Correct)
Compiling ARGOS into Boolean equations (Extended Abstract) - Maraninchi, Halbwachs (1996) (Correct)
CENTAUR: the system - Borras, Clément, Despeyrouz.. (1988) (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