Safety versus Security in the Quality Calculus

DOI10.1007/978-3-642-39698-4_18zbMath1390.68484OpenAlexW83752226WikidataQ51540663 ScholiaQ51540663MaRDI QIDQ2842642

Hanne Riis Nielson, Flemming Nielson

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_18

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A calculus of quality for robustness against unreliable communication ⋮ Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems

Cites Work

• Unnamed Item
• A calculus of quality for robustness against unreliable communication
• A theory for observational fault tolerance
• The Two-Phase Commitment Protocol in an Extended π-Calculus
• Automata, Languages and Programming
• Distributed processes and location failures

This page was built for publication: Safety versus Security in the Quality Calculus