Pages that link to "Item:Q1105355"
From MaRDI portal
The following pages link to Synthesis and equivalence of concurrent systems (Q1105355):
Displaying 9 items.
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- (Q3434886) (← links)
- Implementations of the CSP Notation for Concurrent Systems (Q3741029) (← links)
- (Q3975146) (← links)
- (Q3982059) (← links)
- (Q4365822) (← links)
- Synthesis of Persistent Systems (Q5166759) (← links)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
- Convergent Systems: Analysis and Synthesis (Q5701464) (← links)