780 search results - page 69 / 156 » Compositional Quantitative Reasoning |
114
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
115
click to vote
CSL
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
110
Voted
CSL
1992
Springer
15 years 4 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
108
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
91
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...