The following pages link to (Q4289659):
Displaying 40 items.
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Compatibility in a multi-component environment (Q383353) (← links)
- Projection approaches to process mining using region-based techniques (Q408692) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Mind the gap: expanding communication options in decentralized discrete-event control (Q646415) (← links)
- The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993) (← links)
- A general theory of action languages (Q1286273) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- On the rational behaviors of concurrent timers (Q1389687) (← links)
- On temporal logic versus Datalog (Q1401358) (← links)
- Scheduling hard sporadic tasks with regular languages and generating functions. (Q1426168) (← links)
- Weak confluence and \(\tau\)-inertness (Q1575263) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Factorisation of transition systems (Q1647774) (← links)
- Control-invariance of hybrid systems with forcible events (Q1776418) (← links)
- On constructibility and unconstructibility of LTS operators from other LTS operators (Q2340256) (← links)
- Weighted automata and weighted logics (Q2373736) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- Coinduction in Concurrent Timed Systems (Q2919457) (← links)
- A Markovian concurrency measure (Q3124400) (← links)
- A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (Q3460215) (← links)
- Weighted Automata and Weighted Logics with Discounting (Q3503896) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- How expressions can code for automata (Q4680737) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)
- Order-theoretic Trees: Monadic Second-order Descriptions and Regularity (Q5038567) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- Symbolic timing devices (Q5096403) (← links)
- Automatic Verification of Bossa Scheduler Properties (Q5178992) (← links)
- An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems (Q5496925) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Unfoldings and Coverings of Weighted Graphs (Q6094515) (← links)
- Timed non-interference under partial observability and bounded memory (Q6536433) (← links)
