Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Vladimiro Sassone

Permission-Based Separation Logic for Message-Passing Concurrency

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Algebraic Theories for Contextual Pre-Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Towards a Formal Framework for Computational Trust

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Deriving Bisimulation Congruences: 2-Categories vs Precategories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Comparing Transition Systems With Independence and Asynchronous Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Secrecy in Untrusted Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Comparison of Petri Net Semantics Under the Collective Token Philosophy

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Congruences for Contextual Graph-Rewriting

BRICS Report Series
2004English

A Comparison of Petri Net Semantics Under the Collective Token Philosophy

BRICS Report Series
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy