1156 search results - page 21 / 232 » Compositional Methods for Information-Hiding |
FM
2003
Springer
14 years 23 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
JUCS
2010
13 years 6 months ago
2010
Abstract: In Service-Oriented Computing (SOC) environments, service clients interact with service providers for consuming services. From the viewpoint of service clients, the trust...
TACAS
1997
Springer
13 years 11 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
PE
2000
Springer
13 years 7 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
SIAMJO
2002
13 years 7 months ago
2002
In this paper we extend the design of a class of composite