The following pages link to Maria Grazia Vigliotti (Q356425):
Displayed 12 items.
- Algorithmic product-form approximations of interacting stochastic models (Q356426) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- Leader election in rings of ambient processes (Q2491642) (← links)
- (Q2848143) (← links)
- An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus (Q2915182) (← links)
- A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types (Q3184667) (← links)
- Separation Results Via Leader Election Problems (Q3591393) (← links)
- Experimental and numerical investigation of an O $_{2}$ NO supersonic free jet expansion (Q4819071) (← links)
- On product-form approximations of cooperating stochastic models (Q4932649) (← links)
- (Q4995379) (← links)
- Foundations of Software Science and Computation Structures (Q5308465) (← links)