Asynchronous mappings and asynchronous cellular automata
From MaRDI portal
Publication:690237
Recommendations
Cited in
(45)- Weighted asynchronous cellular automata
- An extension of Kleene's and Ochmański's theorems to infinite traces
- Asynchronous automata versus asynchronous cellular automata
- Deterministic asynchronous automata for infinite traces
- On the complementation of asynchronous cellular Büchi automata
- The monadic second-order logic of graphs. X: Linear orderings
- Asynchronous cellular automata for pomsets
- Resource traces: A domain for processes sharing exclusive resources.
- Computation by asynchronously updating cellular automata
- Distributed automata in an assumption-commitment framework
- Bounded time-stamping in message-passing systems
- Regular sets of infinite message sequence charts
- A study on delay-sensitive cellular automata
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic
- A model for learning the news in social networks
- Time-stamps for Mazurkiewicz traces.
- Asynchronous sliding block maps
- Distributed Asynchronous Automata
- On Distributed Monitoring and Synthesis
- ON ASYNCHRONOUS CELLULAR AUTOMATA
- Automated synthesis of distributed controllers
- MSO Logic for Unambiguous Shared-Memory Systems
- Semantics of Deterministic Shared-Memory Systems
- Unambiguous shared-memory systems
- A quadratic construction for Zielonka automata with acyclic communication structure
- Asynchronous sliding block maps
- scientific article; zbMATH DE number 1759634 (Why is no real title available?)
- Determinizing asynchronous automata
- On the complementation of Büchi asynchronous cellular automata
- ASYNCHRONOUS AUTOMATA NETWORKS CAN EMULATE ANY SYNCHRONOUS AUTOMATA NETWORK
- Compressed decision problems for graph products and applications to (outer) automorphism groups.
- Pattern matching in trace monoids (extended abstract)
- Keeping track of the latest gossip in a distributed system
- Asynchronous cellular automata for infinite traces
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems
- Fundamentals of Computation Theory
- Compositional synthesis of asynchronous automata
- A survey of cellular automata: types, dynamics, non-uniformity and applications
- Asynchronous cellular automata for pomsets without auto-concurrency
- A note on skew-asynchronous cellular automata
- Basic notions of universal algebra for language theory and graph grammars
- Local testability from words to traces, a suitable definition
- On synthesis of distributed monitors (invited talk)
- Synthesising asynchronous automata from fair specifications
- From trees to tree-like: distribution and synthesis for asynchronous automata
This page was built for publication: Asynchronous mappings and asynchronous cellular automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690237)
