Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Charatonik, Witold
Gordon, Andrew Donald
Talbot, Jean-Marc

dblp
dblp
dblp

Not MPG Author(s):

Gordon, Andrew Donald
Talbot, Jean-Marc

Editor(s):

Le Métayer, Daniel

dblp

Not MPII Editor(s):

Le Métayer, Daniel

BibTeX cite key*:

CharatonikGT2002

Title, Booktitle

Title*:

Finite-Control Mobile Ambients

Booktitle*:

Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Grenoble, France

Language:

English

Event Date*
(no longer used):

-- April 8-12, 2002

Organization:


Event Start Date:

8 April 2002

Event End Date:

12 April 2002

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

2305

Number:


Month:


Pages:

295-313

Year*:

2002

VG Wort Pages:


ISBN/ISSN:

3-540-43363-5

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We define a finite-control fragment of the ambient calculus, a
formalism for describing distributed and mobile computations. A
series of examples demonstrates the expressiveness of our fragment. In particular, we encode the choice-free, finite-control, synchronous $\pi$-calculus. We present an algorithm for model checking this fragment against the ambient logic (without composition adjunct). This is the first proposal of a model checking algorithm for ambients to deal with recursively-defined, possibly nonterminating, processes. Moreover, we show that the problem is PSPACE-complete, like other fragments considered in the literature. Finite-control versions of other process calculi are obtained via various syntactic restrictions. Instead, we rely on a novel type system that bounds the number of active ambients and outputs in a process; any typable process has only a finite number of derivatives.



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{CharatonikGT2002,
AUTHOR = {Charatonik, Witold and Gordon, Andrew Donald and Talbot, Jean-Marc},
EDITOR = {Le M{\'e}tayer, Daniel},
TITLE = {Finite-Control Mobile Ambients},
BOOKTITLE = {Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002},
PUBLISHER = {Springer},
YEAR = {2002},
VOLUME = {2305},
PAGES = {295--313},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Grenoble, France},
ISBN = {3-540-43363-5},
}


Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Witold Charatonik
Created
09/27/2002 08:48:41 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Edit Dates
01.09.2003 17:20:17
04.08.2003 16:06:20
04.08.2003 16:01:43
07.07.2003 15:38:21
07.07.2003 15:23:20
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section