The following pages link to Vladimiro Sassone (Q383371):
Displaying 16 items.
- On the category of Petri net computations (Q5096741) (← links)
- Programming Languages and Systems (Q5308697) (← links)
- Security Policies as Membranes in Systems for Global Computing (Q5310645) (← links)
- (Q5431914) (← links)
- Structural Operational Semantics for Stochastic Process Calculi (Q5458377) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465849) (← links)
- A Hybrid Intuitionistic Logic: Semantics and Decidability (Q5488610) (← links)
- Algebra and Coalgebra in Computer Science (Q5492811) (← links)
- Trust models in ubiquitous computing (Q5504045) (← links)
- Automata, Languages and Programming (Q5716826) (← links)
- An analysis of trust in anonymity networks in the presence of adaptive attackers (Q5740628) (← links)
- Semantic Barbs and Biorthogonality (Q5758049) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896949) (← links)
- Theoretical Computer Science (Q5897365) (← links)
- Foundations of Security Analysis and Design II (Q5901852) (← links)
- Comparing transition systems with independence and asynchronous transition systems (Q6104367) (← links)