A model of actors and grey failures

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

zbMATH Keywords

behavioural equivalencerecoveryasynchronous process calculusfail-stopactor systembarbed bisimulationfailure injectiongrey failure

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

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