202 search results - page 3 / 41 » Reasoning about XML with temporal logics and automata |
TIME
2003
IEEE
13 years 11 months ago
2003
IEEE
SCP
2010
13 years 4 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
CSL
2002
Springer
13 years 6 months ago
2002
Springer
CONCUR
2010
Springer
13 years 7 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...
FMCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...