Pages that link to "Item:Q5738950"
From MaRDI portal
The following pages link to The intuitionism behind Statecharts steps (Q5738950):
Displayed 5 items.
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Light logics and higher-order processes (Q2971072) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)