Jean-Pierre Talpin, Albert Benvenister, Paul le Guernic  Home/Search
Context Related
| irisa.fr/prive/talpin/pi1269.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/prive/talpin/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The synchronous model of concurrency has demonstrated its practicality for the for the design of circuits, embedded systems, reactive systems. This model allows to base design on deterministic concurrency, which is much easier to deal with than classical, nondeterministic, asynchronous concurrency. Compiling, optimizing, and verifying programs is done using powerful techniques. On the other hand, Uml is now establishing as a standard framework for object oriented software design and... (Update)
Context of citations to this paper: More
...design of a system can safely be deployed on an asynchronous network. This issue is the subject of an in depth algorithmic study in [27] in the context of the rst order fragment of Spots. In this section, we give mathematical evidence on the generalizability of these...
...which properties the synchronous design of a system can safely be deployed on an asynchronous network. This issue is the subject of an in depth algorithmic study in [27] in the context 24 [ u] u) g] E x: A v 1: n ; 0 : x(v 1: n ; 0 ) j j a(v = g(v 1: n ) j j 0 (v) j...
Cited by: More
Synchronous Modeling and Asynchronus Deployment of Mobile Processes - Talpin (Correct)
Synchronous Modeling and Asynchronous Deployment of Mobile.. - Talpin (2000) (Correct)
Similar documents (at the sentence level):
76.4%: Asynchronous Deployment of Synchronous Transition Systems - Talpin, al. (1999) (Correct)
Active bibliography (related documents): More All
0.5: Desynchronisation of Synchronous Programs: Summary of.. - Benveniste, Caillaud, .. (1999) (Correct)
0.4: A semantics of UML state-machines using.. - Wang, Talpin.. (2000) (Correct)
0.4: Pre-Order Semantics of UML State-Machines - Wang, Talpin, al. (Correct)
Similar documents based on text: More All
0.6: BDL: A Semantics Backbone for UML Dynamic Aspects - Caillaud, Talpin.. (2001) (Correct)
0.4: A Protocol for Loosely Time-Triggered Architectures - Benveniste, Caspi, Le.. (2001) (Correct)
0.4: Hierarchic Normal Forms for Desynchronization - Talpin, Benveniste, Caillaud, .. (1999) (Correct)
Related documents from co-citation: More All
2: A fully abstract semantics for concurrent constraint programming (context) - Nystr, Jonsson - 1998
2: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
2: The fusion calculus: Expressiveness and symmetry in mobile processes - Parrow, Victor - 1998
BibTeX entry: (Update)
J.-P. Talpin, A. Benveniste, P. Le Guernic. Asynchronous deployment of synchronous transition systems. Technical report n. 1269. Irisa, October 1999. 38 A. Proof of theorem 1 The proof proceeds by making some observations on the structure of the translation. http://citeseer.ist.psu.edu/article/talpin99asynchronous.html More
@misc{ talpin99asynchronous,
author = "J. Talpin and A. Benveniste and P. Le Guernic",
title = "Asynchronous deployment of synchronous transition systems",
text = "J.-P. Talpin, A. Benveniste, P. Le Guernic. Asynchronous deployment of
synchronous transition systems. Technical report n. 1269. Irisa, October
1999. 38 A. Proof of theorem 1 The proof proceeds by making some observations
on the structure of the translation.",
year = "1999",
url = "citeseer.ist.psu.edu/article/talpin99asynchronous.html" }
Citations (may not include all citations):457 The Esterel synchronous programming language: design - Berry, Gonthier - 1992
372 The unified modeling language reference manual (context) - Rumbaugh, Jacobson et al. - 1999
235 The synchronous data-flow programming language Lustre - Halbwachs, Caspi et al. - 1991
92 Synchronous programming with events and relations: the Signa.. (context) - Benveniste, Le Guernic et al. - 1991
82 The Statemate semantics of Statecharts - Harel, Naamad - 1995
25 Synchronous Kahn networks - Caspi, Pouzet - 1996
23 Real-time systems design and programming (context) - Benveniste, Berry - 1991
14 Fair synchronous transition systems and their liveness proof.. - Pnueli, Shankar et al. - 1998
12 Implementation of the data-flow synchronous language Signal (context) - Amagbegnon, Besnard et al. - 1995
7 Clocks in dataflow languages (context) - Caspi - 1992
7 Real-time embedded image processing applications using the a.. - Sorel - 1996
6 International Symposium on Object-Oriented Real-Time Distrib.. (context) - Talpin, Benveniste et al. - 1998
6 Lectures Notes in Computer Science (context) - Benveniste, Caillaud et al. - 1999
4 Synthesizing object systems from Lcs specifications (context) - Harel, Kugler - 1999
4 Hierarchic normal forms for desynchronization - Talpin, Benveniste et al. - 1999
3 A synchronous semantics of higher-order processes for modeli.. - Talpin, Nowak - 1998
3 Pre-order transition systems for calculi of mobile processes (context) - Talpin, Benveniste - 1999
2 Invited lecture at Rex meeting on Ten years of concurrency (context) - Benveniste, Caspi et al. - 1993
Documents on the same site (http://www.irisa.fr/prive/talpin/): More
The Type and Effect Discipline - Talpin, Jouvelot (1993) (Correct)
Aspects Théoretiques et Pratiques de l'Inférence de . . . - Talpin (Correct)
BDL, a language of distributed reactive objects - Talpin (1998) (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