The following pages link to D. Cacciagrano (Q2465028):
Displaying 10 items.
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- (Q2852065) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- Fair Π (Q2866341) (← links)
- Explicit fairness in testing semantics (Q3636814) (← links)
- (Q4448369) (← links)
- (Q4621139) (← links)
- Bone Remodelling: A Complex Automata-Based Model Running in BioShape (Q4931196) (← links)
- Bone Remodelling in BioShape (Q5404084) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494307) (← links)
