Jean-Pierre Talpin, et al.  Home/Search
Context Related
| irisa.fr/techreports/19...PI1288.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: irisa.fr/epatr/Publis/Ann...1999 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Based on an earlier work, we present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct desynchronization, meaning that the original synchronous semantics can be reconstructed from the result of this desynchronization. This theory can be used as a basis for correct distributed code generation. The present paper presents a new data structure, the hierarchic normal form for a... (Update)
Context of citations to this paper: More
...can systematically be decided upon the reconstruction of the hierarchic normal form of system specifications. Nonetheless, current work [18] show that the algorithmic techniques presented in this article can be adapted to more conventional models, such as the Sts of [12] Some...
...occurs by means of unifying each individual AEow shared between two capsules. The theory of desynchronisation developed in [5, 3, 12] provides us with the link between the two dioeerent, synchronous and asynchronous, models. In these references, we show the following :...
Cited by: More
Desynchronisation of Synchronous Programs: Summary of.. - Benveniste, Caillaud, .. (1999) (Correct)
BDL: A Semantics Backbone for UML Dynamic Aspects - Caillaud, Talpin.. (2001) (Correct)
BDL: A Semantics Backbone for UML Dynamic Diagrams - Caillaud, Talpin.. (2000) (Correct)
Similar documents (at the sentence level):
62.4%: Hierarchic Normal Forms for Desynchronization - Talpin, Benveniste, Caillaud, .. (1999) (Correct)
14.6%: From Synchrony to Asynchrony - Benveniste, al. (1999) (Correct)
Active bibliography (related documents): More All
0.4: Safety Critical Embedded Systems Design: the SACRES approach - Benveniste (1998) (Correct)
0.2: Code generation in the SACRES project - Gautier, Le Guernic (1999) (Correct)
0.2: A semantics of UML state-machines using.. - Wang, Talpin.. (2000) (Correct)
Similar documents based on text: More All
0.6: Model Checking Robustness to Desynchronization - Talpin (2002) (Correct)
0.6: Diagnosis of Distributed Discrete Event Systems, a Net.. - Fabre, al. (2001) (Correct)
0.6: Asynchronous Deployment of Synchronous Transition Systems - Talpin, al. (1999) (Correct)
Related documents from co-citation: More All
3: From synchrony to asynchrony - Benveniste, Caillaud et al. - 1999
2: Formalising UML state machines for model checking (context) - Paltor, Lilius - 1999
2: Analysis of inheritance anomaly in object-oriented concurrent programming langua.. - Matsuoka, Yonezawa - 1993
BibTeX entry: (Update)
J.-P. Talpin, A. Benveniste, B. Caillaud, P. Le Guernic. Hierarchic normal forms for desynchronization. Draft, October 1999. PI n1269 48 J.-P. Talpin, A. Benveniste, P. Le Guernic http://citeseer.ist.psu.edu/talpin99hierarchic.html More
@misc{ talpin99hierarchic,
author = "J. Talpin and A. Benveniste and B. Caillaud and P. Le Guernic",
title = "Hierarchic normal forms for desynchronization",
text = "J.-P. Talpin, A. Benveniste, B. Caillaud, P. Le Guernic. Hierarchic normal
forms for desynchronization. Draft, October 1999. PI n1269 48 J.-P. Talpin,
A. Benveniste, P. Le Guernic",
year = "1999",
url = "citeseer.ist.psu.edu/talpin99hierarchic.html" }
Citations (may not include all citations):625 ACM Transactions on Programming Languages and Systems (context) - Lamport, program - 1983
235 The synchronous dataflow programming language lustre - Halbwachs, Caspi et al. - 1991
160 What good is temporal logic (context) - Lamport - 1983
121 Programming real-time applications with SIGNAL (context) - Le Guernic, Gautier et al. - 1991
62 Programming and verifying real-time systems by means of the .. - Halbwachs, Lagnier - 1992
48 Deciding equality formulas by small-domains instantiations - Pnueli, Rodeh et al. - 1999
32 Real time programming: Special purpose or general purpose la.. (context) - Berry - 1989
25 Modeling Reactive Systems with Statecharts (context) - Harel, Politi - 1998
23 Real-time systems design and programming (context) - Benveniste, Berry - 1991
18 From synchrony to asynchrony - Benveniste, Caillaud et al. - 1999
16 The constructive semantics of esterel (context) - Berry - 1999
16 Theoretical Computer Science (context) - Caspi, dataflow - 1992
15 Arborescent canonical form of boolean expressions - Amagbegnon, Besnard et al. - 1994
15 Compositionality in dataflow synchronous languages : specifi.. - Benveniste, Caillaud et al.
9 Distributing automata for asynchronous networks of processor.. - Caillaud, Caspi et al. - 1997
9 Distributed implementation of Signal : scheduling and graph .. (context) - Maffeis, Le Guernic - 1994
6 Implementation of the dataflow language signal (context) - Amagbegnon, Besnard et al. - 1995
4 Sorel: Real-time embedded image processing applications usin.. (context) - Sorel - 1996
4 An implementation of construtive synchronous programs in pol.. (context) - Berry, Sentovich - 1998
4 Asynchronous deployment of synchronous pre-order transition .. (context) - Talpin, Benveniste et al. - 1999
3 Mises en oeuvre distribu'ees de programmes synchrones (context) - Aubry - 1997
3 user guide (context) - Sorel, Lavarenne
2 Protocol engineering using uml (context) - Jard, J'ez'equel et al. - 1999
1 Irisa Hierarchic Normal Forms for desynchronization (context) - Halbwachs, of et al. - 1993
Documents on the same site (http://www.irisa.fr/ep-atr/Publis/Annee/1999.html): More
From Synchrony to Asynchrony - Benveniste, al. (1999) (Correct)
Distributing Synchronous Programs on a Loosely Synchronous.. - Beneviste, Caspi (Correct)
Asynchronous Deployment of Synchronous Transition Systems - Talpin, al. (1999) (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