Results 231 to 240 of about 1,911,260 (299)
Some of the next articles are maybe not open access.
On the Composition of Compositional Reasoning
2006We survey compositionality results for three classes of system properties: invariance/safety properties and liveness properties (based on work by Abadi and Lamport), and confidentiality properties (based on work by Mantel). We then analyse the difficulties which occur when trying to apply the compositionality results of these classes of properties ...
Felix C. Freiling, Thomas Santen
openaire +2 more sources