M. Jourdan, F. Maraninchi  Home/Search
Context Related
| arpont.imag.fr//PE...gosSIGPLAN94.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: arpont.imag.fr//P...ACMsigplan94 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents the argos language [Mar89, Mar92], which is a state/transition-based synchronous language, compiled into labeled transition systems, and to which existing verification methods and tools can be applied. The semantics of argos allows modular development of programs. The main reason that allowed the development of a compositional semantics is the suppression of level-crossing arrows. (Update)
Context of citations to this paper: More
...no verification) or at readability when dealing with real size systems. Some other systems use both notations (SDL [15] Raise [38] Argos [25], CPN [24] some other enable the derivation of a graphical representation from the (or part of the) textual specification (Estelle...
Cited by: More
Views for the Integration of Datatypes and Control.. - Choppy, Poizat, Royer (2000) (Correct)
Similar documents (at the sentence level):
8.5%: Static Timing Analysis of Real-Time Systems - Jourdan, Maraninchi (1995) (Correct)
Active bibliography (related documents): More All
0.6: Operational and Compositional Semantics of Synchronous.. - Maraninchi (1992) (Correct)
0.1: Synchronous Programming of Reactive Systems - A Tutorial and.. - Halbwachs (1998) (Correct)
0.1: Compiling ARGOS into Boolean equations (Extended Abstract) - Maraninchi, Halbwachs (1996) (Correct)
Similar documents based on text: More All
0.2: Studying Synchronous Communication Mechanisms by Abstractions - Jourdan, Maraninchi (1994) (Correct)
0.2: On the Symbolic Analysis of Combinational Loops in.. - Halbwachs, Maraninchi (1995) (Correct)
0.2: Synchronous Languages - Poigné, de Roever, (eds.) (1994) (Correct)
BibTeX entry: (Update)
M. Jourdan and F. Maraninchi. A modular state/transition approach for programming real-time systems. In ACM Sigplan Workshop on Language, compiler and tool support for real-time systems, Orlando, FL, June 1994. http://citeseer.ist.psu.edu/jourdan94modular.html More
@misc{ jourdan94modular,
author = "M. Jourdan and F. Maraninchi",
title = "A Modular State/Transition Approach for programming Reactive Systems",
text = "M. Jourdan and F. Maraninchi. A modular state/transition approach for programming
real-time systems. In ACM Sigplan Workshop on Language, compiler and tool
support for real-time systems, Orlando, FL, June 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/jourdan94modular.html" }
Citations (may not include all citations):502 Concurrency and automata on infinite sequences (context) - Park - 1981 ACM DBLP
404 Symbolic model-checking for real-time systems - Henzinger, Nicollin et al. - 1992
199 An introduction to input/output automata (context) - Lynch, Tuttle - 1989
194 the development of reactive systems (context) - Harel, Pnueli - 1985
112 Statecharts : A visual approach to complex systems (context) - Harel - 1987
84 Operational and compositional semantics of synchronous autom.. - Maraninchi - 1992 ACM DBLP
57 The argos language: Graphical representation of automata and.. - Maraninchi - 1991
38 An implementation of an efficient algorithm for bisimulation.. - Fernandez - 1990 ACM DBLP
38 ATP: an algebra for timed processes (context) - Nicollin, Richier et al. - 1990
34 a declarative language for programming synchronous systems (context) - Caspi, Halbwachs et al. - 1987
25 A multiparadigm language for reactive systems - Jourdan, Lagnier et al. - 1994
14 semantics and verification of reactive systems by using a pr.. (context) - Maraninchi, graphical - 1989
13 Verifying quantitative real-time properties of synchronous p.. - Jourdan, Maraninchi et al. - 1993 ACM DBLP
9 Special Section of the Proceedings of the IEEE (context) - at, programming - 1991
2 Sahara: un environnement de mise au point graphique pour les.. (context) - Gherardi - 1992
1 Argos programming examples: The multi-function (context) - Maraninchi, Vachon - 1992
1 un outil de visualisation pour les calculs de processus (context) - Roy - 1990
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