Computability in Europe 2008
Logic and Theory of Algorithms
Logic and Theory of Algorithms
Print this page
Regular Talk:
Decidability Results for Mobile Membranes derived from Mobile Ambients
| 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
|