Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Regular Talk:
Decidability Results for Mobile Membranes derived from Mobile Ambients

Edit abstract data

Author(s): Bogdan Aman and Gabriel Ciobanu
Slot: Thu, 11:20-11:40, Amphitheater A (col. 1)

Abstract

Mobile ambients and membrane systems are two new computation models.
We investigate some decidability problems (reachability, boundedness,
periodicity, termination) in mobile membranes, using some known decidability
results of the mobile ambients.

websites: Arnold Beckmann 2008-05-19 Valid HTML 4.01! Valid CSS!