Pages that link to "Item:Q5395109"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395109):
Displayed 6 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- The expressiveness of CSP with priority (Q2520703) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- (Q5111623) (← links)
- (Q5228882) (← links)