Jean-Pierre Talpin  Home/Search
Context
Related
| irisa.fr/prive/talpin/rr3893.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) Homepages: J.Talpin |
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 Asynchronus Deployment of Mobile Processes - Talpin (Correct)
Active bibliography (related documents): More All
0.4: Asynchronous Deployment of Synchronous Transition Systems - Talpin, Benvenister, le.. (1999) (Correct)
0.3: Solo Diagrams - Laneve, Parrow, Victor (2001) (Correct)
0.2: A Transition System Semantics for the.. - Bonsangue, Arbab, .. (1998) (Correct)
Similar documents based on text: More All
0.7: Model Checking Robustness to Desynchronization - Talpin (2002) (Correct)
0.2: Hierarchic Normal Forms for Desynchronization - Talpin, Benveniste, Caillaud, .. (1999) (Correct)
0.2: BDL, a language of distributed reactive objects - Talpin, Benveniste.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ talpin-synchronous,
author = "Jean-Pierre Talpin",
title = "Synchronous Modeling and Asynchronous Deployment of Mobile Processes",
url = "citeseer.ist.psu.edu/talpin00synchronous.html" }
Citations (may not include all citations):457 The Esterel synchronous programming language: design - Berry, Gonthier - 1992
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
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
64 Calculi for synchrony and asynchrony (context) - Milner - 1983 DBLP
61 The Fusion calculus: expressiveness and symmetry in mobile c.. - Parrow, Victor - 1998
59 The unied modeling language reference manual (context) - Rumbaugh, Jacobson et al. - 1999
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
10 The reAEexive chemical abstract machine and the joincalculus (context) - Fournet, Gonthier - 1996
9 The synchronous data-AEow programming language Lustre (context) - Halbwachs, Caspi et al. - 1991
6 Lectures Notes in Computer Science (context) - Benveniste, Caillaud et al. - 1999
6 International Symposium on ObjectOriented Real-Time Distribu.. (context) - Talpin, Benveniste et al. - 1998
4 Lectures Notes in Computer Science (context) - Nowak, Talpin et al. - 1999
3 Solos in concert (context) - Lavene, Victor - 1999 ACM DBLP
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
2 Timed polyhedra analysis for synchronous languages (context) - Besson, Jensen et al. - 1999
1 Clocks in dataAEow languages (context) - Caspi - 1992
1 Finite State Verication for the Asynchronous PiCalculus (context) - Montanari, Pistore - 1999
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