The following pages link to Marina Ribaudo (Q1685780):
Displayed 6 items.
- An abstract machine for asynchronous programs with closures and priority queues (Q1685782) (← links)
- Process algebras for systems diagnosis. (Q1852861) (← links)
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets (Q3122571) (← links)
- (Q4518928) (← links)
- (Q4738769) (← links)
- Integrating TwoTowers and GreatSPN through a compact net semantics (Q4788445) (← links)