A model of actors and grey failures
From MaRDI portal
Publication:6137831
DOI10.46298/lmcs-19(4:13)2023arXiv2210.17508MaRDI QIDQ6137831
No author found.
Publication date: 16 January 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2210.17508
behavioural equivalencerecoveryasynchronous process calculusfail-stopactor systembarbed bisimulationfailure injectiongrey failure
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A theory of system behaviour in the presence of node and link failure
- A calculus of mobile processes. I
- On bisimulations for the asynchronous \(\pi\)-calculus
- Simulation relations for fault-tolerance
- A theory of reversibility for Erlang
- Trace and testing equivalence on asynchronous processes
- A process algebra for timed systems
- Input urgent semantics for asynchronous timed session types
- A theory for observational fault tolerance
- Finding race conditions in Erlang with QuickCheck and PULSE
- Multiparty Asynchronous Session Types
- Timed, Distributed, Probabilistic, Typed Processes
- On Communicating Finite-State Machines
- A modal characterization of observational congruence on finite terms of CCS
- Process algebra for synchronous communication
- Distributed processes and location failures
- The Two-Phase Commitment Protocol in an Extended π-Calculus
- Session Types for Link Failures
- Barbed bisimulation
- Models, Languages, and Tools for Concurrent and Distributed Programming
- Foundations of Software Science and Computational Structures
- Global escape in multiparty sessions
- Global progress for dynamically interleaved multiparty sessions
- Distributed processes and location failures
- A calculus of mobile agents
This page was built for publication: A model of actors and grey failures
