A model of actors and grey failures
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey failures: failures that are latent, possibly transient, and...
Main Authors: | Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2023-11-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/10238/pdf |
Similar Items
-
A Characterization of Morphic Words with Polynomial Growth
by: Tim Smith
Published: (2020-02-01) -
A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
by: Joost Engelfriet, et al.
Published: (2020-08-01) -
Quantitative Automata under Probabilistic Semantics
by: Krishnendu Chatterjee, et al.
Published: (2019-08-01) -
Quantitative Languages Defined by Functional Automata
by: Emmanuel Filiot, et al.
Published: (2015-09-01) -
Edit Distance for Pushdown Automata
by: Krishnendu Chatterjee, et al.
Published: (2017-09-01)