Context-based Process Algebras for Mobility

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by R. Devillers Articles by H. Klaudel Articles by M. Koutny

Fourth International Conference on Application of Concurrency to System Design (ACSD'04)

Hamilton, Ontario, Canada

June 16-June 18

ISBN: 0-7695-2077-4

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309118

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.