The following pages link to Synchronous Kleene algebra (Q710676):
Displaying 10 items.
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Introducing synchrony in fuzzy automata (Q2219075) (← links)
- A synchronous effects logic for temporal verification of pure Esterel (Q2234089) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- (Q5111639) (← links)
