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