780 search results - page 69 / 156 » Compositional Quantitative Reasoning |
133
Voted
IFM
2010
Springer
15 years 15 days 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...
136
Voted
CSL
1999
Springer
15 years 6 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...
126
Voted
CSL
1992
Springer
15 years 6 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...
128
click to vote
CADE
2010
Springer
15 years 3 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...
105
click to vote
CONCUR
2010
Springer
15 years 3 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...