Computability in Europe 2006
Logical Approaches to Computational Barriers

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

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


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