Pages that link to "Item:Q1853596"
From MaRDI portal
The following pages link to A comparison of Statecharts step semantics (Q1853596):
Displaying 5 items.
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)
