Pages that link to "Item:Q690237"
From MaRDI portal
The following pages link to Asynchronous mappings and asynchronous cellular automata (Q690237):
Displaying 40 items.
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- Local testability from words to traces, a suitable definition (Q728279) (← links)
- Weighted asynchronous cellular automata (Q1022595) (← links)
- An extension of Kleene's and Ochmański's theorems to infinite traces (Q1318685) (← links)
- Asynchronous automata versus asynchronous cellular automata (Q1334661) (← links)
- Deterministic asynchronous automata for infinite traces (Q1338892) (← links)
- On the complementation of asynchronous cellular Büchi automata (Q1349891) (← links)
- The monadic second-order logic of graphs. X: Linear orderings (Q1366538) (← links)
- Asynchronous cellular automata for pomsets (Q1583242) (← links)
- Resource traces: A domain for processes sharing exclusive resources. (Q1605180) (← links)
- Computation by asynchronously updating cellular automata (Q1777751) (← links)
- Distributed automata in an assumption-commitment framework (Q1847547) (← links)
- Bounded time-stamping in message-passing systems (Q1853588) (← links)
- Regular sets of infinite message sequence charts (Q1887140) (← links)
- A study on delay-sensitive cellular automata (Q2155440) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- A model for learning the news in social networks (Q2254636) (← links)
- Time-stamps for Mazurkiewicz traces. (Q2490824) (← links)
- Asynchronous sliding block maps (Q2708950) (← links)
- Distributed Asynchronous Automata (Q3184669) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- ON ASYNCHRONOUS CELLULAR AUTOMATA (Q3373085) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- MSO Logic for Unambiguous Shared-Memory Systems (Q3533037) (← links)
- Semantics of Deterministic Shared-Memory Systems (Q3541010) (← links)
- UNAMBIGUOUS SHARED-MEMORY SYSTEMS (Q3586410) (← links)
- Asynchronous sliding block maps (Q4508637) (← links)
- Determinizing asynchronous automata (Q4632421) (← links)
- On the complementation of Büchi asynchronous cellular automata (Q4632422) (← links)
- COMPRESSED DECISION PROBLEMS FOR GRAPH PRODUCTS AND APPLICATIONS TO (OUTER) AUTOMORPHISM GROUPS (Q4904513) (← links)
- Pattern matching in trace monoids (Q5048955) (← links)
- Keeping track of the latest gossip in a distributed system (Q5137336) (← links)
- Asynchronous cellular automata for infinite traces (Q5204349) (← links)
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems (Q5410841) (← links)
- Fundamentals of Computation Theory (Q5492957) (← links)
- A survey of cellular automata: types, dynamics, non-uniformity and applications (Q6151179) (← links)
- Asynchronous cellular automata for pomsets without auto-concurrency (Q6162109) (← links)
- A note on skew-asynchronous cellular automata (Q6637846) (← links)
