The following pages link to (Q4222915):
Displaying 5 items.
- On performance congruences for process algebras (Q1275822) (← links)
- The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components. (Q4461216) (← links)
- To be or not to be …lazy (In a Parallel Context) (Q5170189) (← links)
- On testing urgency through laziness over processes with durational actions (Q5941201) (← links)
- On the semantics of durational actions (Q5958612) (← links)