Pages that link to "Item:Q2947408"
From MaRDI portal
The following pages link to Deciding Synchronous Kleene Algebra with Derivatives (Q2947408):
Displaying 5 items.
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Completeness and incompleteness of synchronous Kleene algebra (Q2176687) (← links)
- A synchronous effects logic for temporal verification of pure Esterel (Q2234089) (← links)
- (Q5111639) (← links)
- Kleene Theorems for Synchronous Products with Matching (Q5268457) (← links)