✦ LIBER ✦

A Concurrent Graph Semantics for Mobile Ambients

✍ Scribed by Fabio Gadducci; Ugo Montanari

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 451 KB
Volume: 45
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80957-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Fully Abstract Model for Mobile Ambien

A Fully Abstract Model for Mobile Ambients

✍ M. Coppo; M. Dezani-Ciancaglini 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 136 KB

A true concurrency semantics for paralle

A true concurrency semantics for parallel programs

✍ Tatjana Kapus; Bogomir Horvat; Marjeta Pučko 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 348 KB

A truly concurrent semantics for a proce

A truly concurrent semantics for a process algebra using resource pomsets

✍ Paul Gastin; Michael Mislove 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 498 KB

In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are deÿned in terms of the resources they need to execute, which allows a simple deÿnition of a weak sequential composition operator. This operator allows actions which do not share any resou

Concurrency for Graph Grammars in a Petr

Concurrency for Graph Grammars in a Petri net shell

✍ Paolo Baldan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 367 KB

A graph transformation algorithm for con

A graph transformation algorithm for concurrency control in a partitioned database

✍ Xu Cheng 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 716 KB