Pages that link to "Item:Q1346610"
From MaRDI portal
The following pages link to Automatizing parametric reasoning on distributed concurrent systems (Q1346610):
Displaying 7 items.
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Assisting requirement formalization by means of natural language translation (Q1329090) (← links)
- A static view of localities (Q1329199) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- Extended transition systems for parametric bisimulation (Q4630292) (← links)
- Read-write causality (Q5096915) (← links)
- A parametric approach to localities (Q5204352) (← links)
