Skip to content
Channels - Knowledge-Based Synthesis of Distributed Systems Using Event Structures :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Search for more channels:
Similar Items: Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Channel Options
View Record
Explore related channels
Quick Look
Games and Strategies as Event Structures
Quick Look
Dynamic Causality in Event Structures
Quick Look
Representing Dependencies in Event Structures
Quick Look
Event Structures for Petri nets with Persistence
Quick Look
Distributed controller synthesis for deadlock avoidance
Quick Look
Automated Synthesis of Distributed Self-Stabilizing Protocols
Quick Look
A new operational representation of dependencies in Event Structures
Quick Look
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Quick Look
Permissive Controller Synthesis for Probabilistic Systems
Quick Look
Optimal controller synthesis for timed systems
Quick Look
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
Quick Look
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Quick Look
Controller Synthesis for Timeline-based Games
Quick Look
Mixin Composition Synthesis based on Intersection Types
Quick Look
From Distributed Noisy Data to Event‐Triggered Pinning Observer‐Based Control
Quick Look
Parameterized Synthesis
Quick Look
Disproportionality analysis of fondaparinux associated adverse events based on the FDA adverse event reporting system
Quick Look
Simulations for Event-Clock Automata
Quick Look
Adaptive Event-Triggered Bipartite Consensus of Matrix-Weighted Linear Multi-Agent Systems
Quick Look
Adaptive Fault-Tolerant Containment Control of Multiagent Systems With Dynamic Event-Triggering Strategies
Quick Look
Design and Evaluation of an LLM-Based Knowledge Graph System for Photosynthesis Research
Quick Look
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Quick Look
Discrete-Event Simulation Framework for Composite Warfare With Modular CFCS Modeling for Naval Combat System
Quick Look
Building Specifications in the Event-B Institution
Load more items
View Record
Prev
Explore related channels
Next