CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest viewing PA-processes as trees, and using treeautomata technique...
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer
CONCUR
1998
Springer
14 years 4 months ago
1998
Springer