Skip to content
<title>Channels - A Behavioral Theory for Distributed Systems with Weak Recovery :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Behavioral Theory for Distributed Systems with Weak Recovery
Search for more channels:
Similar Items: A Behavioral Theory for Distributed Systems with Weak Recovery
Channel Options
View Record
Explore related channels
Quick Look
Convexity via Weak Distributive Laws
Quick Look
Weak omega-categories from intensional type theory
Quick Look
Weak Cat-Operads
Quick Look
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
Quick Look
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
Quick Look
Weak Alternating Timed Automata
Quick Look
Weak topologies for Linear Logic
Quick Look
Typing weak MSOL properties
Quick Look
Undecidability of a weak version of MSO+U
Quick Look
Weak upper topologies and duality for cones
Quick Look
Reachability Problem for Weak Multi-Pushdown Automata
Quick Look
Equivalence checking for weak bi-Kleene algebra
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Quick Look
Machine Space I: Weak exponentials and quantification over compact spaces
Quick Look
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
Quick Look
A type reduction theory for systems with replicated components
Quick Look
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Quick Look
Checkpoint-based rollback recovery in session programming
Quick Look
Reinforced behaviors of anchored slopes with weak layer: insights into effect of weak layer and anchorage angle
Quick Look
Detecting Unrealizability of Distributed Fault-tolerant Systems
Quick Look
On linear rewriting systems for Boolean logic and some applications to proof theory
Quick Look
System Neural Diversity: Measuring Behavioral Heterogeneity in Multi-Agent Learning
Quick Look
Normalisation by Evaluation for Type Theory, in Type Theory
Load more items
View Record
Prev
Explore related channels
Next
