The following pages link to Vladimiro Sassone (Q383371):
Displaying 50 items.
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- An axiomatization of the algebra of Petri net concatenable processes (Q672052) (← links)
- Models for concurrency: Towards a classification (Q672053) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- An analysis of the exponential decay principle in probabilistic trust models (Q843100) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Tracing where and who provenance in linked data: a calculus (Q1929234) (← links)
- Minimal type inference for linked data consumers (Q2348796) (← links)
- Quantifying leakage in the presence of unreliable sources of information (Q2361344) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On the algebraic structure of Petri nets (Q2729230) (← links)
- (Q2754142) (← links)
- (Q2769427) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- Deriving bisimulation congruences: a 2-categorical approach (Q2842606) (← links)
- A congruence for Petri nets (Q2848079) (← links)
- Security policies as membranes in systems for global computing (Q2848667) (← links)
- A Bayesian model for event-based trust (Q2864161) (← links)
- A Game-Theoretic Analysis of Cooperation in Anonymity Networks (Q2894327) (← links)
- Permission-Based Separation Logic for Message-Passing Concurrency (Q3224673) (← links)
- Descriptive Types for Linked Data Resources (Q3455049) (← links)
- (Q3504340) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Towards a Formal Framework for Computational Trust (Q3525111) (← links)
- Trust in Anonymity Networks (Q3584921) (← links)
- (Q4018066) (← links)
- (Q4035257) (← links)
- An axiomatization of the category of Petri net computations (Q4236218) (← links)
- (Q4247292) (← links)
- (Q4249180) (← links)
- On the semantics of place/transition Petri nets (Q4347377) (← links)
- (Q4353639) (← links)
- (Q4371024) (← links)
- (Q4415245) (← links)
- (Q4417873) (← links)
- (Q4421730) (← links)
- (Q4449234) (← links)
- (Q4457841) (← links)
- (Q4474226) (← links)
- (Q4484493) (← links)
- (Q4484495) (← links)
- (Q4499237) (← links)
- (Q4535170) (← links)
- (Q4536441) (← links)
- (Q4665741) (← links)
- Axiomatizing Petri net concatenable processes (Q5055915) (← links)
