scientific article; zbMATH DE number 7440180
From MaRDI portal
Publication:5015358
zbMath1478.68195arXiv1608.03127MaRDI QIDQ5015358
Sanjiva Prasad, Lenore D. Zuck
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1608.03127
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationfault-tolerancecontextresilienceadversarywell-structured transition systemsbarbsbehavioural self-similarity
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15) Computer security (68M25)
Cites Work
- Unnamed Item
- Unnamed Item
- A compositional protocol verification using relativized bisimulation
- Transformation of programs for fault-tolerance
- On bisimulations for the asynchronous \(\pi\)-calculus
- A compositional framework for fault tolerance by specification transformation
- A semantic characterization for faults in replicated systems
- Functions as processes
- A little knowledge goes a long way
- Distributed processes and location failures
- Barbed bisimulation
- Well-structured transition systems everywhere!
This page was built for publication:
