The following pages link to Daniel Yankelevich (Q672707):
Displayed 11 items.
- Location equivalence in a parametric setting (Q672708) (← links)
- Axiomatizing CCS, nets and processes (Q1314538) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years (Q3507407) (← links)
- (Q4233455) (← links)
- (Q4296304) (← links)
- Extended transition systems for parametric bisimulation (Q4630292) (← links)
- Yeast: A case study for a practical use of formal methods (Q5044729) (← links)
- An algebraic view of interleaving and distributed operational semantics for CCS (Q5096249) (← links)
- Read-write causality (Q5096915) (← links)
- A parametric approach to localities (Q5204352) (← links)