The following pages link to (Q3735065):
Displaying 20 items.
- From regular expressions to deterministic automata (Q580983) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- A compositional axiomatization of statecharts (Q1194330) (← links)
- From regular expressions to DFA's using compressed NFA's (Q1391526) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- Dealing with zero-time transitions in axiom systems. (Q1854267) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Adjoint reactive GUI programming (Q2233414) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter (Q2432129) (← links)
- (Q2769444) (← links)
- Sémantique du parallélisme et du choix du langage Electre (Q4858847) (← links)
- On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)
- What good are digital clocks? (Q5204346) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)
