780 search results - page 11 / 156 » Compositional Quantitative Reasoning |
IFM
2010
Springer
13 years 5 months ago
2010
Springer
TOCL
2010
13 years 5 months ago
2010
ATVA
2005
Springer
14 years 27 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
CONCUR
1998
Springer
13 years 11 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 ...
CL
2006
Springer
13 years 7 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...