Jean-Pierre Talpin  Home/Search
Context
Related
| irisa.fr/techreports/20...PI1305.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/Compl...RR (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : We introduce the programming model consisting of pre-ordered transition systems (Spots) for modeling synchronous and asynchronous concurrent systems in the presence of mobility and of dynamicity. The model of Spots provides an operational and a denotational semantics to an expressive calculus of mobile processes. Encodings of related asynchronous, synchronous and functional calculi (Join, Fusion and ) are provided. The data-structure of Spots is shown to have a canonical, hierarchic,... (Update)
Similar documents (at the sentence level):
60.9%: Synchronous Modeling and Asynchronous Deployment of Mobile.. - Talpin (2000) (Correct)
Active bibliography (related documents): More All
0.5: Asynchronous Deployment of Synchronous Transition Systems - Talpin, al. (1999) (Correct)
0.3: Solo Diagrams - Laneve, Parrow, Victor (2001) (Correct)
0.3: Model Checking Robustness to Desynchronization - Talpin (2002) (Correct)
Similar documents based on text: More All
0.2: Pre-Order Semantics of UML State-Machines - Wang, Talpin, al. (Correct)
0.2: Hierarchic Normal Forms for Desynchronization - Talpin, al. (1999) (Correct)
0.2: The Steam Boiler Controller Problem in Signal-Coq - Kerboeuf, Nowak, Talpin (1999) (Correct)
BibTeX entry: (Update)
@misc{ talpin-synchronous,
author = "Jean-Pierre Talpin",
title = "Synchronous Modeling and Asynchronus Deployment of Mobile Processes",
url = "citeseer.ist.psu.edu/431523.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 ACM
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996 ACM DBLP
270 Synchronous programming of reactive systems (context) - Halbwachs - 1993 ACM DBLP
235 The synchronous data-flow programming language Lustre - Halbwachs, Caspi et al. - 1991
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
140 On Reduction-Based Process Semantics - Honda, Yoshida - 1995 ACM DBLP
92 Synchronous programming with events and relations: the Signa.. (context) - Benveniste, Le Guernic et al. - 1991 DBLP
89 Calculi for interaction - Milner - 1996 DBLP
82 The Statemate semantics of Statecharts - Harel, Naamad - 1995 ACM DBLP
73 The reflexive chemical abstract machine and the joincalculus (context) - Fournet, Gonthier - 1996
64 Calculi for synchrony and asynchrony (context) - Milner - 1983 DBLP
61 The Fusion calculus: expressiveness and symmetry in mobile c.. - Parrow, Victor - 1998
50 Timed default concurrent constraint programming - Saraswat, Jagadeesan et al. - 1999 ACM DBLP
25 Synchronous Kahn networks - Caspi, Pouzet - 1996 ACM DBLP
23 Real-time systems design and programming (context) - Benveniste, Berry
7 Clocks in dataflow languages (context) - Caspi - 1992 ACM DBLP
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 Lectures Notes in Computer Science (context) - Nowak, Talpin et al. - 1999
3 Solos in concert (context) - Lavene, Victor - 1999 ACM DBLP
2 Timed polyhedra analysis for synchronous languages (context) - Besson, Jensen et al. - 1999
2 A fully abstract semantics for concurrent constraint program.. (context) - Nystr, Jonsson - 1998 ACM DBLP
2 Asynchronous deployment of synchronous transition systems - Talpin, Benveniste et al. - 1999
1 Finite State Verification for the Asynchronous PiCalculus (context) - Montanari, Pistore - 1999
Documents on the same site (http://www.irisa.fr/ep-atr/Publis/Complet/RR.html): More
Pre-Order Semantics of UML State-Machines - Wang, Talpin, al. (Correct)
A real-time hw/sw codesign approach based on the SIGNAL.. - Kountouris, Wolinski (1996) (Correct)
Optimal Control of Discrete Event Systems under Partial .. - Marchand, Boivineau.. (2001) (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