354 search results - page 5 / 71 » Modal and Temporal Logics for Processes |
TIME
2002
IEEE
13 years 12 months ago
2002
IEEE
MLQ
2010
13 years 5 months ago
2010
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
EPIA
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
STACS
1999
Springer
13 years 11 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...