Pages that link to "Item:Q5096220"
From MaRDI portal
The following pages link to What is in a step: On the semantics of statecharts (Q5096220):
Displaying 11 items.
- Statechartable Petri nets (Q470022) (← links)
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- On disjunction of literals in triggers of statecharts transitions. (Q1853160) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)
- Horizontal and vertical structuring techniques for statecharts (Q6044117) (← links)