The following pages link to Silvia Crafa (Q453543):
Displaying 27 items.
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- The role of concurrency in an evolutionary view of programming abstractions (Q890610) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- Hereditary History-Preserving Bisimilarity: Logics and Automata (Q2789065) (← links)
- Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions (Q2802451) (← links)
- An overview of Boxed Ambients (Q2841270) (← links)
- Event Structure Semantics of Parallel Extrusion in the Pi-Calculus (Q2892773) (← links)
- Saving Space in a Time Efficient Simulation Algorithm (Q2895774) (← links)
- Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
- Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (Q3012928) (← links)
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)
- A type system for Discretionary Access Control (Q3395314) (← links)
- Compositional Event Structure Semantics for the Internal π-Calculus (Q3525646) (← links)
- A Logic for True Concurrency (Q3584927) (← links)
- (Q4415245) (← links)
- (Q4448368) (← links)
- (Q4449234) (← links)
- (Q4536624) (← links)
- Proof search in a context-sensitive logic for molecular biology (Q4612450) (← links)
- (Q4791832) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311476) (← links)
- Trustworthy Global Computing (Q5394792) (← links)
- A Logic for True Concurrency (Q5501929) (← links)
- (Q5714432) (← links)
- Typed interpretations of extensible objects (Q5738966) (← links)
- Foundations of Security Analysis and Design II (Q5901852) (← links)
