ACTA
2004
13 years 11 months ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
ACTA
2004
13 years 11 months ago
2004
The generative capability of several variants of P systems with symport/antiport is studied via the simulation of counter automata. This leads to the reduction of the complexity, e...
ACTA
2004
13 years 11 months ago
2004
ACTA
2004
13 years 11 months ago
2004
ACTA
2004
13 years 11 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
ACTA
2004
13 years 11 months ago
2004
Abstract. This paper addresses the problem of removing the polarizations of membranes from P systems with active membranes