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

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