Computability in Europe 2008
Logic and Theory of Algorithms
|Author(s):||Bogdan Aman and Gabriel Ciobanu|
|Slot:||Thu, 11:20-11:40, Amphitheater A (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|