The following pages link to Maria Rita Di Berardini (Q1015392):
Displaying 15 items.
- Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
- (Q2271450) (redirect page) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Fairness of components in system computations (Q2491632) (← links)
- Fairness of actions in system computations (Q2502272) (← links)
- (Q2848134) (← links)
- Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue (Q2870297) (← links)
- Time and Fairness in a Process Algebra with Non-blocking Reading (Q3599073) (← links)
- (Q4621138) (← links)
- (Q4621139) (← links)
- (Q4964718) (← links)
- (Q4965857) (← links)
- Towards Abstraction-Based Verification of Shape Calculus (Q5404093) (← links)
- Checking a Mutex Algorithm in a Process Algebra with Fairness (Q5756622) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900582) (← links)