Pages that link to "Item:Q1277769"
From MaRDI portal
The following pages link to Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769):
Displaying 8 items.
- Process algebra and constraint programming for modeling interactions in MAS (Q814899) (← links)
- Equational reasoning about nondeterministic processes (Q911801) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- Process algebra having inherent choice: revised semantics for concurrent systems (Q2871829) (← links)
- (Q4530473) (← links)
- Towards the assessment of logics for concurrent actions (Q4632329) (← links)
- (Q4813199) (← links)
- Reasoning about concurrent interaction (Q4934809) (← links)