Pages that link to "Item:Q4934809"
From MaRDI portal
The following pages link to Reasoning about concurrent interaction (Q4934809):
Displaying 5 items.
- Elaboration tolerance through object-orientation (Q814560) (← links)
- Modelling concurrent interactions (Q820134) (← links)
- Programming simultaneous actions using common knowledge (Q1104074) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Algebraic Methodology and Software Technology (Q5312988) (← links)