Independence: Logics and Concurrency
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Undecidability of a multi-agent logic
Fundamenta Informaticae - Concurrency specification and programming
Deciding Global Partial-Order Properties
Formal Methods in System Design
Difficult Configurations—On the Complexity of LTrL
Formal Methods in System Design
The decidability border of hereditary history preserving bisimilarity
Information Processing Letters
Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
The decidability border of hereditary history preserving bisimilarity
Information Processing Letters
Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Undecidability of a Multi-Agent Logic
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae
AXIOMATIZATIONS OF TEMPORAL LOGICS ON TRACE SYSTEMS
Fundamenta Informaticae
Hi-index | 0.89 |