loading...
Context-based Process Algebras for Mobility
Hamilton, Ontario, Canada June 16-June 18
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309118Fourth International Conference on Ap ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
R. Devillers, H. Klaudel, M. Koutny, "Context-based Process Algebras for Mobility," Application of Concurrency to System Design, International Conference on, pp. 79, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2004.1309118,
author = {R. Devillers and H. Klaudel and M. Koutny},
title = {Context-based Process Algebras for Mobility},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2077-4},
pages = {79},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309118},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Context-based Process Algebras for Mobility
SN - 0-7695-2077-4
SP
EP
A1 - R. Devillers,
A1 - H. Klaudel,
A1 - M. Koutny,
PY - 2004
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
R. Devillers, Universit? Libre de Bruxelles, Belgium
H. Klaudel, Universit? d'Evry, LaMI, France
M. Koutny, University of Newcastle, United Kingdom
In this paper we provide two new formalisations of the finite fragment of the π-calculus, defined in a way which exhibits the global state and the execution context of a process without needing to rely heavily on term rewriting techniques. In doing so, we aim at a calculus which would be amenable to a straightforward compositional translation into automata-based models such as Petri nets.
Citation:
R. Devillers, H. Klaudel, M. Koutny, "Context-based Process Algebras for Mobility," acsd, pp.79, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.