A calculus of quality for robustness against unreliable communication

DOI10.1016/J.JLAMP.2015.04.002zbMath1337.68041DBLPjournals/jlp/NielsonNV15OpenAlexW854809509WikidataQ59416296 ScholiaQ59416296MaRDI QIDQ492911

Roberto Vigo, Hanne Riis Nielson, Flemming Nielson

Publication date: 21 August 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.04.002

zbMATH Keywords

robustnessavailabilityprocess calculusSAT-solvingdenial-of-service

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (6)

Security Metrics at Work on the Things in IoT Systems ⋮ A calculus of quality for robustness against unreliable communication ⋮ Enforcing Availability in Failure-Aware Communicating Systems ⋮ Safety versus Security in the Quality Calculus ⋮ Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems ⋮ Stochastic Model Checking of the Stochastic Quality Calculus

Uses Software

• z3
• COWS
• Linda

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of quality for robustness against unreliable communication
• Pathway analysis for BioAmbients
• A calculus of communicating systems
• The chemical abstract machine
• A new natural structural congruence in the pi-calculus with replication
• Safety versus Security in the Quality Calculus
• Psi-calculi: a framework for mobile processes with nominal data and logic
• The Two-Phase Commitment Protocol in an Extended π-Calculus
• A π-calculus with explicit substitutions: The late semantics
• Stochastic Model Checking of the Stochastic Quality Calculus
• CONCUR 2004 - Concurrency Theory
• A Calculus for Orchestration of Web Services
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
• CONCUR 2005 – Concurrency Theory
• Distributed processes and location failures

This page was built for publication: A calculus of quality for robustness against unreliable communication