The following pages link to Rocco De Nicola (Q384931):
Displaying 8 items.
- Model checking mobile stochastic logic (Q995465) (← links)
- Basic observables for processes (Q1286368) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Confining data and processes in global computing applications (Q2432761) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- Klava: a Java package for distributed and mobile applications (Q4791126) (← links)
- An action based framework for verifying logical and behavioural properties of concurrent systems (Q6493516) (← links)
