Pages that link to "Item:Q439957"
From MaRDI portal
The following pages link to Ambient abstract state machines with applications (Q439957):
Displaying 7 items.
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
- Programming Languages and Systems (Q5308696) (← links)
- Capturing Membrane Computing by ASMs (Q5881453) (← links)
- Foundations of Information and Knowledge Systems (Q5901857) (← links)