ACTA 2004 | Sciweavers

33

ACTA
2004

97views more ACTA 2004»

Past is for free: on the complexity of verifying linear temporal properties with past

14 years 10 days ago

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...

Nicolas Markey

claim paper

Read More »

35

click to vote

ACTA
2004

87views more ACTA 2004»

P systems with symport/antiport simulating counter automata

14 years 10 days ago

Download www.macs.hw.ac.uk

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...

Pierluigi Frisco, Hendrik Jan Hoogeboom

claim paper

Read More »

29

click to vote

ACTA
2004

67views more ACTA 2004»

Trajectory-based codes

14 years 10 days ago

Download www.cs.umanitoba.ca

Michael Domaratzki

claim paper

Read More »

32

click to vote

ACTA
2004

102views more ACTA 2004»

Approximation schemes for the Min-Max Starting Time Problem

14 years 10 days ago

Download math.haifa.ac.il

Leah Epstein, Tamir Tassa

claim paper

Read More »

39

click to vote

ACTA
2004

86views more ACTA 2004»

Specification transformers: a predicate transformer approach to composition

14 years 10 days ago

Download www.cs.unh.edu

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 ...

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

39

click to vote

ACTA
2004

106views more ACTA 2004»

Trading polarizations for labels in P systems with active membranes

14 years 10 days ago