1071 search results - page 17 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
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...
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
TARK
1998
Springer
13 years 12 months ago
1998
Springer
CSL
1995
Springer
13 years 11 months ago
1995
Springer
DLOG
1996
13 years 9 months ago
1996