Professor Vladimiro Sassone
Search People

RDFvCard
  

Professor Vladimiro Sassone: Publications

Publications, PrePrints etc.
(Grouped by Keywords)

Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
[tool] Add To Shelf...
Group by: Date | Item type | First Author | Keywords | Co-authors | No Grouping
2-categories access control accuracy algebraic topology ambient bisimulation ambient calculs ambient calculus ambients withour open anonymity privacy security barbs bayesian analysis bicategories bigraph logic bigraph logics Bigraphs bilog Bisimulation bisimulation congruence bisimulation congruences bisimulations boxed ambients boxed mobile ambients bunches C# categorical comparison between concurrency models categorical relationships between concurrency models categorical relationships between concurrency modelsmodels for concurrency categorical semantics CCS code migration coinduction coinduction principles collective token philosophy communication interference completion of categories compositional petri nets Concurrency concurrent object oriented languages concurrent object oriented programming containment context graph logic Context Logic context transitions context tree logic contextual congruences contextual equivalences contextual petri nets contextual pre-nets data privacy dependent types deterministic event structures deterministic models of concurrency distributed calculi distributed logics distributed systems dynamic bisimulation dynamic model checking dynamic systems reconfiguration equivalences of petri nets EU research programme event structures finite automata finite-model property formal models fossacs foundations of distributed systems FP6 FET gals global computing global ubiquitous computing graph rewriting grpos gsos higher dimensional automata history-based access control hybrid logics individual token philosophy inference systems infinite computations information flow information flow security information hiding inheritance anomaly interval orders intuitionist logics Java Jeeg join-calculus Kripke and birelational semantics kripke models labelled transition systems language-based security distributed calculi learning linear temporal logic linear time temporal logic linear time temporal logics linked data logic programming logic programming with negation membranes mobile ambients mobile devices mobile processes mobile systems models for concurrency models for distributed systems monoidal categories non-deducibility non-interference observational equivalences omega inductive completion of categories online model-checking open databases operational semantics orthogonality partial membership equational logic partial orders petri nets petri nets algebra petri nets algebraic models petri nets algebras petri nets calculi petri nets categorical semantics petri nets compositionality petri nets compositionality semantics of Petri nets petri nets non-sequential processes petri nets process semantics petri nets processes petri nets semantics petri nets unfoldings pi calculus pi-calculus pre-nets prenets probabilistic modelling process calculi processes of petri nets progressing bisimulation protection policies provenance quantitative and probabilistic models reduction systems relative pushouts reputation systems resource access control resource control resource logics resource-aware computing rewriting logic role-based access control rule formats science for ubiquitous computing security security levels security policies semantics of concurrency semantics of distributed systems semantics of logic programming seminar Separation separation logic smartcards software engineering software intensive systems sortings SOS rule formats soundness and completeness space bounds control sparql spatial distribution of resources spatial logic Spatial Logics spatial modalities spi-calculus stochastic systems subsorting symmetric monoidal categories synchronisation constraint synchronisation constraints talk temporal logics tile logic tile logics tile systems timed Petri nets traces transition systems transition systems with independence true concurrency trust trust and reputation management trust in distributed systems trust management trust management systems trust model trust structures trust-management type systems typed polyadic pi-calculus types types for concurrency UK Grand Challenges for Computing uncertainty unification unification algorithms untrusted networks vsTalk web services weighted ambients XML xml data
Number of items: 155.

2-categories

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..

access control

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In, Foundations of Global Ubiquitous Computing, FGUC 2004. Elsevier, 23-42.

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 304-320.

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In, Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001. Elsevier, 19 pp.

accuracy

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow. In, IEEE Symposium of Security and Privacy IEEE Press, 79-92.

algebraic topology

Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In, 11th Symposium of Logics in Computer Science, LICS '96. IEEE Press, 55-62.

ambient bisimulation

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients. In, 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2002. Springer, 71-84.

ambient calculs

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 304-320.

ambient calculus

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373, (1-2), 41-69.

Bugliesi, M., Castagna, G., Crafa, S., Focardi, R. and Sassone, V. (2004) Name-passing calculi and crypto-primitives: A survey. In, International School on Foundations of Security Analysis and Design, FOSAD 01/02. Springer, 91-138.

Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In, European Symposium on Programming, ESOP'04. Springer, 171-187.

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In, Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03. Springer, 205-223.

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In, Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001. Elsevier, 19 pp.

ambients withour open

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

anonymity privacy security

Yang, Mu, Sassone, Vladimiro and Hamadou, Sardaouna, Degano, Pierpaolo and Guttman, Joshua (eds.) (2012) A Game-Theoretic Analysis of Cooperation in Anonymity Networks. Proceedings of Principles of Security and Trust, POST 2012 (a member of ETAPS 2012), Lecture Notes in Computer Science (ARCoSS)

barbs

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In, Proceedings of FOSSACS 2008 LNCS, Springer, 428-433.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

bayesian analysis

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S. (ed.) (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4, 175-184.

bicategories

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

bigraph logic

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

bigraph logics

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In, 13th Symposium on Advanced Database Systems, SEDB 2005. , 392-399.

Bigraphs

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 1-12.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

bilog

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In, 13th Symposium on Advanced Database Systems, SEDB 2005. , 392-399.

Bisimulation

Bruni, R., Montanari, U. and Sassone, V. (2000) Open Ended Systems, Dynamic Bisimulation, and Tile Logic. In, IFIP International Conference on Theoretical Computer Science, IFIP TCS 2000. Springer, 440-456.

bisimulation congruence

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems. Theoretical Computer Science, 335, (2-3), 331-372.

bisimulation congruences

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 1-12.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In, First International Conference on Algebras and Coalgebras in Computer Science. Springer, 30-50.

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In, Foundations of Software Science and Computation Structures, FOSSACS 2003. Springer, 409-424.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS. Fundamenta Informaticae, 16, (2), 171-199.

Montanari, U. and Sassone, V. (1991) CCS Dynamic Bisimulation is Progressing. In, 16th International Symposium on the Mathematical Foundations of Computer Science, MFCS 1991. Springer, 346-356.

bisimulations

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control. In, 17th IEEE Computer Security Foundations Workshop, CSFW'04. IEEE Computer Society Press, 48-60.

boxed ambients

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

boxed mobile ambients

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients. In, 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2002. Springer, 71-84.

bunches

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

C#

Milicia, G. and Sassone, V. (2004) The Inheritance Anomaly: Ten years after. In, 19th ACM Symposium on Applied Computing, SAC'04. ACM Press, 1267-1274.

categorical comparison between concurrency models

Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency. In, 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93. Springer, 682-692.

categorical relationships between concurrency models

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

categorical relationships between concurrency modelsmodels for concurrency

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

categorical semantics

Sassone, V. (2000) On the Algebraic Structure of Petri Nets. Bulletin of the European Association for Theoretical Computer Science, 72, 133-148.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science, 7, 359-397.

Sassone, V. (1996) An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theoretical Computer Science, 170, (1-2), 277-296.

Sassone, V. (1995) Axiomatizing Petri Net Concatenable Processes. In, 10th Conference on Fundamentals of Computation Theory, FCT '95. Springer, 414-423.

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.

CCS

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS. Fundamenta Informaticae, 16, (2), 171-199.

Montanari, U. and Sassone, V. (1991) CCS Dynamic Bisimulation is Progressing. In, 16th International Symposium on the Mathematical Foundations of Computer Science, MFCS 1991. Springer, 346-356.

code migration

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In, Foundations of Global Ubiquitous Computing, FGUC 2004. Elsevier, 23-42.

coinduction

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In, First International Conference on Algebras and Coalgebras in Computer Science. Springer, 30-50.

coinduction principles

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In, Foundations of Software Science and Computation Structures, FOSSACS 2003. Springer, 409-424.

collective token philosophy

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial Semantics for Petri Nets under the Individual Token Philosophy. In, Category Theory and Computer Science, CTCS '99. Elsevier, 18 pp..

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1998) A Comparison of Petri Net Semantics under the Collective Token Philosophy. In, Advances in Computing Science, 4th Asian Computing Science Conference, ASIAN '98. Springer, 225-244.

communication interference

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients. In, 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2002. Springer, 71-84.

completion of categories

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.

compositional petri nets

Sassone, V. (2000) On the Algebraic Structure of Petri Nets. Bulletin of the European Association for Theoretical Computer Science, 72, 133-148.

Concurrency

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In, 15th International Conference on Application and Theory of Petri Nets, ICATPN '94. Springer, 16-38.

concurrent object oriented languages

Milicia, G. and Sassone, V. (2004) The Inheritance Anomaly: Ten years after. In, 19th ACM Symposium on Applied Computing, SAC'04. ACM Press, 1267-1274.

concurrent object oriented programming

Milicia, G. and Sassone, V. (2002) Jeeg: A Programming Language for Concurrent Objects Synchronization. In, Joint ACM-ISCOPE Conference on Java Grande, JGI'02. ACM Press, 212-221.

containment

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

context graph logic

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

Context Logic

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

context transitions

Bruni, R. and Sassone, V. (2001) Two Algebraic Process Semantics for Contextual Nets. In, Unifying Petri Nets Springer, 427-456.

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets. In, 27th International Colloquium on Automata, Languages and Programming, ICALP 2000. Springer, 175-186.

context tree logic

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

contextual congruences

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

contextual equivalences

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

contextual petri nets

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.

Bruni, R. and Sassone, V. (2001) Two Algebraic Process Semantics for Contextual Nets. In, Unifying Petri Nets Springer, 427-456.

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets. In, 27th International Colloquium on Automata, Languages and Programming, ICALP 2000. Springer, 175-186.

contextual pre-nets

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.

data privacy

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

dependent types

Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In, European Symposium on Programming, ESOP'04. Springer, 171-187.

deterministic event structures

Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency. In, 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93. Springer, 682-692.

deterministic models of concurrency

Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency. In, 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93. Springer, 682-692.

distributed calculi

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

distributed logics

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

distributed systems

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17, (4), 4 pp..

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In, Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03. Springer, 205-223.

Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets. In, Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001. Springer, 280-291.

Nielsen, M., Sassone, V. and Srba, J. (2001) Towards a Notion of Distributed Time for Petri Nets. In, 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001. Springer, 23-31.

dynamic bisimulation

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems. Theoretical Computer Science, 335, (2-3), 331-372.

Bruni, R., Montanari, U. and Sassone, V. (2000) Open Ended Systems, Dynamic Bisimulation, and Tile Logic. In, IFIP International Conference on Theoretical Computer Science, IFIP TCS 2000. Springer, 440-456.

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS. Fundamenta Informaticae, 16, (2), 171-199.

Montanari, U. and Sassone, V. (1991) CCS Dynamic Bisimulation is Progressing. In, 16th International Symposium on the Mathematical Foundations of Computer Science, MFCS 1991. Springer, 346-356.

dynamic model checking

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

dynamic systems reconfiguration

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems. Theoretical Computer Science, 335, (2-3), 331-372.

equivalences of petri nets

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In, 6th International Conference on Concurrency Theory, CONCUR '95. Springer, 175-189.

EU research programme

Sassone, V. (2003) Building the Case for Global Computing.

event structures

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

finite automata

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

finite-model property

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

formal models

Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In, Int. Conference on Software Engineering and Formal Methods, SEFM 2003. IEEE Computer Society, 54-61.

Godskesen, J.Chr., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 272-287.

fossacs

Sassone, V. (2008) Foundations of Software Science and Computational Structures, Elsevier (Theoretical Computer Science, 390(2-)

Sassone, V., Sassone, V. (ed.) (2008) Preface. Theoretical Computer Science, 390, ((2-3)), 127-128.

foundations of distributed systems

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

Buscemi, M. and Sassone, V. (2001) High-Level Petri Nets as Type Theories in the Join Calculus. In, Foundations of Software Science and Computation Structures, FOSSACS 2001. Springer, 104-120.

FP6 FET

Sassone, V. (2003) Building the Case for Global Computing.

gals

Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets. In, Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001. Springer, 280-291.

Nielsen, M., Sassone, V. and Srba, J. (2001) Towards a Notion of Distributed Time for Petri Nets. In, 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001. Springer, 23-31.

global computing

Sannella, D. and Sassone, V., Sannella, D. and Sassone, V. (eds.) (2007) Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005). Theoretical Computer Science, 389, (3), 337-340.

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17, (4), 4 pp..

Sassone, V. (2003) Building the Case for Global Computing.

global ubiquitous computing

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In, Foundations of Global Ubiquitous Computing, FGUC 2004. Elsevier, 23-42.

Kwiatkowska, M. and Sassone, V., Hoare, T. and Milner, R. (eds.) (2005) GC2: Science for Global Ubiquitous Computing. Grand Challenges in Computing, 9-12.

Kwiatkowska, M., Milner, R. and Sassone, V. (2004) Science for Global Ubiquitous Computing. Bulletin of the EATCS, 82, 325-333.

graph rewriting

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

grpos

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

gsos

Klin, Bartek and Sassone, V. (2011) Structural operational semantics for stochastic and weighted transition systems. Pre-print (Submitted)

higher dimensional automata

Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In, 11th Symposium of Logics in Computer Science, LICS '96. IEEE Press, 55-62.

history-based access control

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

hybrid logics

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

individual token philosophy

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial Semantics for Petri Nets under the Individual Token Philosophy. In, Category Theory and Computer Science, CTCS '99. Elsevier, 18 pp..

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1998) A Comparison of Petri Net Semantics under the Collective Token Philosophy. In, Advances in Computing Science, 4th Asian Computing Science Conference, ASIAN '98. Springer, 225-244.

inference systems

Gorla, D., Hennessy, M. and Sassone, V. (2006) Inferring Dynamic Credentials for Role-based Trust Management. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 213-223.

infinite computations

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.

Meseguer, J., Montanari, U. and Sassone, V. (1993) ω-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. In, Workshop on Topology and Completion in Semantics, Chartres, France, , 51 pp..

information flow

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow. In, IEEE Symposium of Security and Privacy IEEE Press, 79-92.

information flow security

Varadharajan, V. and Sassone, V. (1991) A unifying Petri net model of non-interference and non-deducibility information flow security.

information hiding

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow. In, IEEE Symposium of Security and Privacy IEEE Press, 79-92.

inheritance anomaly

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17, (5-6), 539-572.

Milicia, G. and Sassone, V. (2004) The Inheritance Anomaly: Ten years after. In, 19th ACM Symposium on Applied Computing, SAC'04. ACM Press, 1267-1274.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..

interval orders

Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In, Int. Conference on Software Engineering and Formal Methods, SEFM 2003. IEEE Computer Society, 54-61.

intuitionist logics

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

Java

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17, (5-6), 539-572.

Milicia, G. and Sassone, V. (2004) The Inheritance Anomaly: Ten years after. In, 19th ACM Symposium on Applied Computing, SAC'04. ACM Press, 1267-1274.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..

Jeeg

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17, (5-6), 539-572.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..

join-calculus

Buscemi, M. and Sassone, V. (2001) High-Level Petri Nets as Type Theories in the Join Calculus. In, Foundations of Software Science and Computation Structures, FOSSACS 2001. Springer, 104-120.

Kripke and birelational semantics

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

kripke models

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

labelled transition systems

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In, Foundations of Software Science and Computation Structures, FOSSACS 2003. Springer, 409-424.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..

language-based security distributed calculi

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus. Journal of Computer Security, 14, (2), 133-155.

learning

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S. (ed.) (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4, 175-184.

linear temporal logic

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

linear time temporal logic

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

linear time temporal logics

Milicia, G. and Sassone, V. (2002) Jeeg: A Programming Language for Concurrent Objects Synchronization. In, Joint ACM-ISCOPE Conference on Java Grande, JGI'02. ACM Press, 212-221.

linked data

Horne, Ross, Sassone, Vladimiro and Gibbins, Nicholas (2012) Operational semantics for SPARQL Update. In, Pan, Jeff Z., Chen, Huajun, Kim, Hong-Gee, Li, Juanzi, Wu, Zhe, Horrocks, Ian, Mizoguchi, Riichiro and Wu, Zhaohui (eds.) The Semantic Web. Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. 1st Joint International Semantic Technology Conference (JST 2011) , Springer, 242-257. (Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet/Web, and HCI, 7185).

Dezani, Mariangiola, Horne, Ross and Sassone, Vladimiro (2012) Tracing where and who provenance in Linked Data: a calculus. Pre-print (Submitted)

Horne, Ross and Sassone, Vladimiro (2012) A Verified Algebra for Read-Write Linked Data. Submitted for publication (Submitted)

Horne, Ross and Sassone, Vladimiro (2011) A Verified Algebra for Linked Data. In, 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, EPTCS 58, Aachen, Germany, Elsevier, 20-33.

Horne, Ross and Sassone, Vladimiro (2011) A Typed Model for Linked Data. Technical Report (Submitted)

logic programming

Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming. In, 8th Meeting on Logic Programming, GULP '93 Mediterranean Press.

Sassone, V. (1993) A Note on Logic Programming Fixed-Point Semantics. In, 8th Meeting on Logic Programming, GULP '93. Mediterranean Press.

logic programming with negation

Gorla, D., Hennessy, M. and Sassone, V. (2006) Inferring Dynamic Credentials for Role-based Trust Management. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 213-223.

membranes

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

mobile ambients

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

mobile devices

Godskesen, J.Chr., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 272-287.

mobile processes

Bugliesi, M., Castagna, G., Crafa, S., Focardi, R. and Sassone, V. (2004) Name-passing calculi and crypto-primitives: A survey. In, International School on Foundations of Security Analysis and Design, FOSAD 01/02. Springer, 91-138.

mobile systems

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

models for concurrency

Hildebrandt, T. and Sassone, V. (1997) Transition Systems with Independence and Multi-Arcs. In, Partial Order Methods in Verification, POMIV '96 American Mathematical Society Press, 273-288.

Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In, 11th Symposium of Logics in Computer Science, LICS '96. IEEE Press, 55-62.

Hildebrandt, T. and Sassone, V. (1996) Comparing Transition Systems with Independence and Asynchronous Transition Systems. In, 7th International Conference on Concurrency Theory, CONCUR '96. Springer, 84-97.

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In, 15th International Conference on Application and Theory of Petri Nets, ICATPN '94. Springer, 16-38.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

models for distributed systems

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S. (ed.) (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4, 175-184.

monoidal categories

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

non-deducibility

Varadharajan, V. and Sassone, V. (1991) A unifying Petri net model of non-interference and non-deducibility information flow security.

non-interference

Varadharajan, V. and Sassone, V. (1991) A unifying Petri net model of non-interference and non-deducibility information flow security.

observational equivalences

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In, Proceedings of FOSSACS 2008 LNCS, Springer, 428-433.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control. In, 17th IEEE Computer Security Foundations Workshop, CSFW'04. IEEE Computer Society Press, 48-60.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In, Foundations of Software Science and Computation Structures, FOSSACS 2003. Springer, 409-424.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..

omega inductive completion of categories

Meseguer, J., Montanari, U. and Sassone, V. (1993) ω-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. In, Workshop on Topology and Completion in Semantics, Chartres, France, , 51 pp..

online model-checking

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17, (5-6), 539-572.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..

open databases

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In, 13th Symposium on Advanced Database Systems, SEDB 2005. , 392-399.

operational semantics

Klin, Bartek and Sassone, V. (2011) Structural operational semantics for stochastic and weighted transition systems. Pre-print (Submitted)

orthogonality

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In, Proceedings of FOSSACS 2008 LNCS, Springer, 428-433.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

partial membership equational logic

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

partial orders

Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In, Int. Conference on Software Engineering and Formal Methods, SEFM 2003. IEEE Computer Society, 54-61.

petri nets

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Sassone, V. (2004) The Algebraic Structure of Petri Nets. In, Paun, G., Rozenberg, G. and Salomaa, A. (eds.) Current Trends in Theoretical Computer Science. , World Scientific, 385-410.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.

Bruni, R. and Sassone, V. (2001) Two Algebraic Process Semantics for Contextual Nets. In, Unifying Petri Nets Springer, 427-456.

Buscemi, M. and Sassone, V. (2001) High-Level Petri Nets as Type Theories in the Join Calculus. In, Foundations of Software Science and Computation Structures, FOSSACS 2001. Springer, 104-120.

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets. In, 27th International Colloquium on Automata, Languages and Programming, ICALP 2000. Springer, 175-186.

Sassone, V. (2000) On the Algebraic Structure of Petri Nets. Bulletin of the European Association for Theoretical Computer Science, 72, 133-148.

Nielsen, M. and Sassone, V. (1998) Petri Nets and Other Models of Concurrency. In, Lectures on Petri Nets I: Basic Models Springer, 587-642.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science, 7, 359-397.

Sassone, V. (1996) An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theoretical Computer Science, 170, (1-2), 277-296.

Sassone, V. (1995) Axiomatizing Petri Net Concatenable Processes. In, 10th Conference on Fundamentals of Computation Theory, FCT '95. Springer, 414-423.

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.

Varadharajan, V. and Sassone, V. (1991) A unifying Petri net model of non-interference and non-deducibility information flow security.

petri nets algebra

Sassone, V. (2004) The Algebraic Structure of Petri Nets. In, Paun, G., Rozenberg, G. and Salomaa, A. (eds.) Current Trends in Theoretical Computer Science. , World Scientific, 385-410.

petri nets algebraic models

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.

petri nets algebras

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In, 6th International Conference on Concurrency Theory, CONCUR '95. Springer, 175-189.

petri nets calculi

Sassone, V. (2000) On the Algebraic Structure of Petri Nets. Bulletin of the European Association for Theoretical Computer Science, 72, 133-148.

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In, 6th International Conference on Concurrency Theory, CONCUR '95. Springer, 175-189.

petri nets categorical semantics

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

petri nets compositionality

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In, 6th International Conference on Concurrency Theory, CONCUR '95. Springer, 175-189.

petri nets compositionality semantics of Petri nets

Sassone, V. (2004) The Algebraic Structure of Petri Nets. In, Paun, G., Rozenberg, G. and Salomaa, A. (eds.) Current Trends in Theoretical Computer Science. , World Scientific, 385-410.

petri nets non-sequential processes

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In, 15th International Conference on Application and Theory of Petri Nets, ICATPN '94. Springer, 16-38.

petri nets process semantics

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.

petri nets processes

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

Bruni, R. and Sassone, V. (2001) Two Algebraic Process Semantics for Contextual Nets. In, Unifying Petri Nets Springer, 427-456.

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets. In, 27th International Colloquium on Automata, Languages and Programming, ICALP 2000. Springer, 175-186.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial Semantics for Petri Nets under the Individual Token Philosophy. In, Category Theory and Computer Science, CTCS '99. Elsevier, 18 pp..

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1998) A Comparison of Petri Net Semantics under the Collective Token Philosophy. In, Advances in Computing Science, 4th Asian Computing Science Conference, ASIAN '98. Springer, 225-244.

Nielsen, M. and Sassone, V. (1998) Petri Nets and Other Models of Concurrency. In, Lectures on Petri Nets I: Basic Models Springer, 587-642.

Sassone, V. (1998) An Axiomatization of the Category of Petri Net Computations. Mathematical Structures in Computer Science, 8, 117-151.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science, 7, 359-397.

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets. In, Foundations of Computer Science : Potential - Theory - Cognition. Springer, 239-249.

Sassone, V. (1996) An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theoretical Computer Science, 170, (1-2), 277-296.

Sassone, V. (1995) Axiomatizing Petri Net Concatenable Processes. In, 10th Conference on Fundamentals of Computation Theory, FCT '95. Springer, 414-423.

Sassone, V. (1995) On the Category of Petri Net Computations. In, 6}th International Conference on Theory and Practice of Software Development, TAPSOFT '95. Springer, 334-348.

Sassone, V. (1994) An Approach to the Category of Net Computations. In, 6th Nordic Workshop on Programming Theory, NWPT '94. University of Aarhus, 385-399.

petri nets semantics

Sassone, V. (2004) The Algebraic Structure of Petri Nets. In, Paun, G., Rozenberg, G. and Salomaa, A. (eds.) Current Trends in Theoretical Computer Science. , World Scientific, 385-410.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial Semantics for Petri Nets under the Individual Token Philosophy. In, Category Theory and Computer Science, CTCS '99. Elsevier, 18 pp..

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1998) A Comparison of Petri Net Semantics under the Collective Token Philosophy. In, Advances in Computing Science, 4th Asian Computing Science Conference, ASIAN '98. Springer, 225-244.

Nielsen, M. and Sassone, V. (1998) Petri Nets and Other Models of Concurrency. In, Lectures on Petri Nets I: Basic Models Springer, 587-642.

Sassone, V. (1998) An Axiomatization of the Category of Petri Net Computations. Mathematical Structures in Computer Science, 8, 117-151.

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets. In, Foundations of Computer Science : Potential - Theory - Cognition. Springer, 239-249.

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In, 6th International Conference on Concurrency Theory, CONCUR '95. Springer, 175-189.

Sassone, V. (1995) On the Category of Petri Net Computations. In, 6}th International Conference on Theory and Practice of Software Development, TAPSOFT '95. Springer, 334-348.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In, 15th International Conference on Application and Theory of Petri Nets, ICATPN '94. Springer, 16-38.

Sassone, V. (1994) An Approach to the Category of Net Computations. In, 6th Nordic Workshop on Programming Theory, NWPT '94. University of Aarhus, 385-399.

Meseguer, J., Montanari, U. and Sassone, V. (1993) ω-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. In, Workshop on Topology and Completion in Semantics, Chartres, France, , 51 pp..

Meseguer, J., Montanari, U. and Sassone, V. (1992) On the Semantics of Petri Nets. In, 3rd International Conference on Concurrency Theory, CONCUR 92. Springer, 286-301.

petri nets unfoldings

Nielsen, M. and Sassone, V. (1998) Petri Nets and Other Models of Concurrency. In, Lectures on Petri Nets I: Basic Models Springer, 587-642.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science, 7, 359-397.

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In, 15th International Conference on Application and Theory of Petri Nets, ICATPN '94. Springer, 16-38.

Meseguer, J., Montanari, U. and Sassone, V. (1992) On the Semantics of Petri Nets. In, 3rd International Conference on Concurrency Theory, CONCUR 92. Springer, 286-301.

pi calculus

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control. In, 17th IEEE Computer Security Foundations Workshop, CSFW'04. IEEE Computer Society Press, 48-60.

Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management. In, 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004. Springer, 161-173.

pi-calculus

Bugliesi, M., Castagna, G., Crafa, S., Focardi, R. and Sassone, V. (2004) Name-passing calculi and crypto-primitives: A survey. In, International School on Foundations of Security Analysis and Design, FOSAD 01/02. Springer, 91-138.

pre-nets

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.

prenets

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

probabilistic modelling

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2008) Trust models in ubiquitous computing. Philosophical Transactions of the Royal Society A, 366, 3781-3793.

process calculi

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In, Proceedings of FOSSACS 2008 LNCS, Springer, 428-433.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control. In, 17th IEEE Computer Security Foundations Workshop, CSFW'04. IEEE Computer Society Press, 48-60.

Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management. In, 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004. Springer, 161-173.

Godskesen, J.Chr., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 272-287.

processes of petri nets

Sassone, V. (2000) On the Algebraic Structure of Petri Nets. Bulletin of the European Association for Theoretical Computer Science, 72, 133-148.

progressing bisimulation

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS. Fundamenta Informaticae, 16, (2), 171-199.

Montanari, U. and Sassone, V. (1991) CCS Dynamic Bisimulation is Progressing. In, 16th International Symposium on the Mathematical Foundations of Computer Science, MFCS 1991. Springer, 346-356.

protection policies

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

provenance

Dezani, Mariangiola, Horne, Ross and Sassone, Vladimiro (2012) Tracing where and who provenance in Linked Data: a calculus. Pre-print (Submitted)

quantitative and probabilistic models

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow. In, IEEE Symposium of Security and Privacy IEEE Press, 79-92.

reduction systems

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In, First International Conference on Algebras and Coalgebras in Computer Science. Springer, 30-50.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

relative pushouts

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 1-12.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..

reputation systems

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

resource access control

Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In, European Symposium on Programming, ESOP'04. Springer, 171-187.

resource control

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373, (1-2), 41-69.

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In, Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03. Springer, 205-223.

resource logics

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

resource-aware computing

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373, (1-2), 41-69.

rewriting logic

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

role-based access control

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus. Journal of Computer Security, 14, (2), 133-155.

Gorla, D., Hennessy, M. and Sassone, V. (2006) Inferring Dynamic Credentials for Role-based Trust Management. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 213-223.

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control. In, 17th IEEE Computer Security Foundations Workshop, CSFW'04. IEEE Computer Society Press, 48-60.

rule formats

Klin, Bartek and Sassone, V. (2011) Structural operational semantics for stochastic and weighted transition systems. Pre-print (Submitted)

science for ubiquitous computing

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2008) Trust models in ubiquitous computing. Philosophical Transactions of the Royal Society A, 366, 3781-3793.

security

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S. (ed.) (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4, 175-184.

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus. Journal of Computer Security, 14, (2), 133-155.

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 304-320.

security levels

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In, Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001. Elsevier, 19 pp.

security policies

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In, Foundations of Global Ubiquitous Computing, FGUC 2004. Elsevier, 23-42.

semantics of concurrency

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In, Proceedings of FOSSACS 2008 LNCS, Springer, 428-433.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

Hildebrandt, T. and Sassone, V. (1997) Transition Systems with Independence and Multi-Arcs. In, Partial Order Methods in Verification, POMIV '96 American Mathematical Society Press, 273-288.

Hildebrandt, T. and Sassone, V. (1996) Comparing Transition Systems with Independence and Asynchronous Transition Systems. In, 7th International Conference on Concurrency Theory, CONCUR '96. Springer, 84-97.

semantics of distributed systems

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus. Journal of Computer Security, 14, (2), 133-155.

semantics of logic programming

Sassone, V. (1993) A Note on Logic Programming Fixed-Point Semantics. In, 8th Meeting on Logic Programming, GULP '93. Mediterranean Press.

seminar

Sassone, V. (2010) Trust in Crowds - Probabilistic Behaviour in Anonymity Protocols (talk).

Sassone, V. (2009) On the anonymity in the Crowds protocol (talk).

Sassone, V. (2009) Elements of Foundations for Ubiquitous Computing (talk).

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk).

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk).

Sassone, V. (2009) Permission-based separation logic for message-passing concurrency (talk).

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk).

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security applications (talk).

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security Applications (talk).

Sassone, V. (2008) Structural Operational Semantics for Stochastic Systems (talk).

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk).

Sassone, V. (2007) A Bayesian model for event-based trust - Elements of a foundation for computational trust (talk).

Sassone, V. (2007) Opportunities for Formal Methods in the analysis of pervasive adaptation (talk).

Sassone, V. (2006) Semantic barbs: what's in an observation? (talk).

Sassone, V. (2006) Elements towards a foundation of computational trust (talk).

Sassone, V. (2006) Inferring Dynamic Credential for Rôle-based Trust Management (talk).

Sassone, V. (2006) Typed Polyadic Pi-Calculus in Bigraphs (talk).

Sassone, V. (2006) BiLog - A Framework for Structural Logics (talk).

Sassone, V. (2005) A Framework for Concrete Reputation Systems with applications to History-Based Access Control (talk).

Sassone, V. (2005) Labels from Reductions - the theory of relative pushouts (talk).

Sassone, V. (2004) Background and Structure of a Coordination Action (talk).

Sassone, V. (2004) A Calculus for Trust Management (talk).

Sassone, V. (2004) Congruences for Contextual Graph-Rewriting (talk).

Sassone, V. (2004) Context-Aware Software-Intensive Systems - An autonomic approach (talk).

Sassone, V. (2004) A dependently typed ambient calculus (talk).

Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control (talk).

Sassone, V. (2004) Foundations of Global Computing - A Personal Perspective (talk).

Sassone, V. (2004) Global Computing II - A new FET Programme for FP6 (talk).

Sassone, V. (2004) Security Policies as Membranes in Systems for Global Computing (talk).

Sassone, V. (2004) Trust and Concurrency - A Theory Contribution to Ubiquitous Computing (talk).

Sassone, V. (2003) A 2-Categorical Approach to Bisimulation Congruences (talk).

Sassone, V. (2003) Calculi and Types for Global Computing (talk).

Sassone, V. (2003) A Calculus of Bounded Capacities (talk).

Sassone, V. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories (talk).

Sassone, V. (2003) A Role for Theory in UbiNet (talk).

Sassone, V. (2003) Subtyping for Access Control (talk).

Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation (talk).

Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients (talk).

Sassone, V. (2001) An introduction to the π-calculus - Model, Variations, Semantics (talk).

Separation

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

separation logic

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

smartcards

Godskesen, J.Chr., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 272-287.

software engineering

Sassone, V. (2004) Engineering Trust-based Software Intensive Systems. In, Joint EU/NSF Strategic Research Workshop on Engineering Software Intensive Systems European Commission / US National Science Foundation.

software intensive systems

Sassone, V. (2004) Engineering Trust-based Software Intensive Systems. In, Joint EU/NSF Strategic Research Workshop on Engineering Software Intensive Systems European Commission / US National Science Foundation.

sortings

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 1-12.

SOS rule formats

Bruni, R., Montanari, U. and Sassone, V. (2000) Open Ended Systems, Dynamic Bisimulation, and Tile Logic. In, IFIP International Conference on Theoretical Computer Science, IFIP TCS 2000. Springer, 440-456.

soundness and completeness

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

space bounds control

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In, Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03. Springer, 205-223.

sparql

Horne, Ross, Sassone, Vladimiro and Gibbins, Nicholas (2012) Operational semantics for SPARQL Update. In, Pan, Jeff Z., Chen, Huajun, Kim, Hong-Gee, Li, Juanzi, Wu, Zhe, Horrocks, Ian, Mizoguchi, Riichiro and Wu, Zhaohui (eds.) The Semantic Web. Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. 1st Joint International Semantic Technology Conference (JST 2011) , Springer, 242-257. (Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet/Web, and HCI, 7185).

Horne, Ross and Sassone, Vladimiro (2012) A Verified Algebra for Read-Write Linked Data. Submitted for publication (Submitted)

Horne, Ross and Sassone, Vladimiro (2011) A Verified Algebra for Linked Data. In, 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, EPTCS 58, Aachen, Germany, Elsevier, 20-33.

spatial distribution of resources

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

spatial logic

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

Spatial Logics

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

spatial modalities

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

spi-calculus

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

stochastic systems

Klin, Bartek and Sassone, V. (2011) Structural operational semantics for stochastic and weighted transition systems. Pre-print (Submitted)

subsorting

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 1-12.

symmetric monoidal categories

Sassone, V. (1998) An Axiomatization of the Category of Petri Net Computations. Mathematical Structures in Computer Science, 8, 117-151.

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets. In, Foundations of Computer Science : Potential - Theory - Cognition. Springer, 239-249.

Sassone, V. (1996) An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theoretical Computer Science, 170, (1-2), 277-296.

Sassone, V. (1995) Axiomatizing Petri Net Concatenable Processes. In, 10th Conference on Fundamentals of Computation Theory, FCT '95. Springer, 414-423.

Sassone, V. (1995) On the Category of Petri Net Computations. In, 6}th International Conference on Theory and Practice of Software Development, TAPSOFT '95. Springer, 334-348.

Sassone, V. (1994) An Approach to the Category of Net Computations. In, 6th Nordic Workshop on Programming Theory, NWPT '94. University of Aarhus, 385-399.

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.

Meseguer, J., Montanari, U. and Sassone, V. (1993) ω-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. In, Workshop on Topology and Completion in Semantics, Chartres, France, , 51 pp..

synchronisation constraint

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17, (5-6), 539-572.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..

synchronisation constraints

Milicia, G. and Sassone, V. (2002) Jeeg: A Programming Language for Concurrent Objects Synchronization. In, Joint ACM-ISCOPE Conference on Java Grande, JGI'02. ACM Press, 212-221.

talk

Sassone, V. (2010) Trust in Crowds - Probabilistic Behaviour in Anonymity Protocols (talk).

Sassone, V. (2009) On the anonymity in the Crowds protocol (talk).

Sassone, V. (2009) Elements of Foundations for Ubiquitous Computing (talk).

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk).

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk).

Sassone, V. (2009) Permission-based separation logic for message-passing concurrency (talk).

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk).

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security applications (talk).

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security Applications (talk).

Sassone, V. (2008) Structural Operational Semantics for Stochastic Systems (talk).

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk).

Sassone, V. (2007) A Bayesian model for event-based trust - Elements of a foundation for computational trust (talk).

Sassone, V. (2007) Opportunities for Formal Methods in the analysis of pervasive adaptation (talk).

Sassone, V. (2006) Semantic barbs: what's in an observation? (talk).

Sassone, V. (2006) Elements towards a foundation of computational trust (talk).

Sassone, V. (2006) Inferring Dynamic Credential for Rôle-based Trust Management (talk).

Sassone, V. (2006) Typed Polyadic Pi-Calculus in Bigraphs (talk).

Sassone, V. (2006) BiLog - A Framework for Structural Logics (talk).

Sassone, V. (2005) A Framework for Concrete Reputation Systems with applications to History-Based Access Control (talk).

Sassone, V. (2005) Labels from Reductions - the theory of relative pushouts (talk).

Sassone, V. (2004) Background and Structure of a Coordination Action (talk).

Sassone, V. (2004) A Calculus for Trust Management (talk).

Sassone, V. (2004) Congruences for Contextual Graph-Rewriting (talk).

Sassone, V. (2004) Context-Aware Software-Intensive Systems - An autonomic approach (talk).

Sassone, V. (2004) A dependently typed ambient calculus (talk).

Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control (talk).

Sassone, V. (2004) Foundations of Global Computing - A Personal Perspective (talk).

Sassone, V. (2004) Global Computing II - A new FET Programme for FP6 (talk).

Sassone, V. (2004) Security Policies as Membranes in Systems for Global Computing (talk).

Sassone, V. (2004) Trust and Concurrency - A Theory Contribution to Ubiquitous Computing (talk).

Sassone, V. (2003) A 2-Categorical Approach to Bisimulation Congruences (talk).

Sassone, V. (2003) Calculi and Types for Global Computing (talk).

Sassone, V. (2003) A Calculus of Bounded Capacities (talk).

Sassone, V. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories (talk).

Sassone, V. (2003) A Role for Theory in UbiNet (talk).

Sassone, V. (2003) Subtyping for Access Control (talk).

Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation (talk).

Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients (talk).

Sassone, V. (2001) An introduction to the π-calculus - Model, Variations, Semantics (talk).

temporal logics

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17, (5-6), 539-572.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..

tile logic

Bruni, R., Montanari, U. and Sassone, V. (2000) Open Ended Systems, Dynamic Bisimulation, and Tile Logic. In, IFIP International Conference on Theoretical Computer Science, IFIP TCS 2000. Springer, 440-456.

tile logics

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems. Theoretical Computer Science, 335, (2-3), 331-372.

tile systems

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems. Theoretical Computer Science, 335, (2-3), 331-372.

timed Petri nets

Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets. In, Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001. Springer, 280-291.

Nielsen, M., Sassone, V. and Srba, J. (2001) Towards a Notion of Distributed Time for Petri Nets. In, 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001. Springer, 23-31.

traces

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency. In, 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93. Springer, 682-692.

transition systems

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In, First International Conference on Algebras and Coalgebras in Computer Science. Springer, 30-50.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

Hildebrandt, T. and Sassone, V. (1997) Transition Systems with Independence and Multi-Arcs. In, Partial Order Methods in Verification, POMIV '96 American Mathematical Society Press, 273-288.

Hildebrandt, T. and Sassone, V. (1996) Comparing Transition Systems with Independence and Asynchronous Transition Systems. In, 7th International Conference on Concurrency Theory, CONCUR '96. Springer, 84-97.

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

transition systems with independence

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

true concurrency

Hildebrandt, T. and Sassone, V. (1997) Transition Systems with Independence and Multi-Arcs. In, Partial Order Methods in Verification, POMIV '96 American Mathematical Society Press, 273-288.

Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In, 11th Symposium of Logics in Computer Science, LICS '96. IEEE Press, 55-62.

Hildebrandt, T. and Sassone, V. (1996) Comparing Transition Systems with Independence and Asynchronous Transition Systems. In, 7th International Conference on Concurrency Theory, CONCUR '96. Springer, 84-97.

trust

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S. (ed.) (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4, 175-184.

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17, (4), 4 pp..

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

trust and reputation management

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2008) Trust models in ubiquitous computing. Philosophical Transactions of the Royal Society A, 366, 3781-3793.

trust in distributed systems

Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management. In, 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004. Springer, 161-173.

Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In, Int. Conference on Software Engineering and Formal Methods, SEFM 2003. IEEE Computer Society, 54-61.

trust management

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management. In, 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004. Springer, 161-173.

trust management systems

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17, (4), 4 pp..

trust model

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17, (4), 4 pp..

trust structures

Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In, Int. Conference on Software Engineering and Formal Methods, SEFM 2003. IEEE Computer Society, 54-61.

trust-management

Gorla, D., Hennessy, M. and Sassone, V. (2006) Inferring Dynamic Credentials for Role-based Trust Management. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 213-223.

Sassone, V. (2004) Engineering Trust-based Software Intensive Systems. In, Joint EU/NSF Strategic Research Workshop on Engineering Software Intensive Systems European Commission / US National Science Foundation.

type systems

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control. In, 17th IEEE Computer Security Foundations Workshop, CSFW'04. IEEE Computer Society Press, 48-60.

Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In, European Symposium on Programming, ESOP'04. Springer, 171-187.

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In, Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03. Springer, 205-223.

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 304-320.

typed polyadic pi-calculus

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 1-12.

types

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In, Foundations of Global Ubiquitous Computing, FGUC 2004. Elsevier, 23-42.

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In, Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001. Elsevier, 19 pp.

types for concurrency

Bugliesi, M., Castagna, G., Crafa, S., Focardi, R. and Sassone, V. (2004) Name-passing calculi and crypto-primitives: A survey. In, International School on Foundations of Security Analysis and Design, FOSAD 01/02. Springer, 91-138.

UK Grand Challenges for Computing

Kwiatkowska, M. and Sassone, V., Hoare, T. and Milner, R. (eds.) (2005) GC2: Science for Global Ubiquitous Computing. Grand Challenges in Computing, 9-12.

Kwiatkowska, M., Milner, R. and Sassone, V. (2004) Science for Global Ubiquitous Computing. Bulletin of the EATCS, 82, 325-333.

uncertainty

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow. In, IEEE Symposium of Security and Privacy IEEE Press, 79-92.

unification

Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming. In, 8th Meeting on Logic Programming, GULP '93 Mediterranean Press.

unification algorithms

Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming. In, 8th Meeting on Logic Programming, GULP '93 Mediterranean Press.

untrusted networks

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

vsTalk

Sassone, V. (2010) Trust in Crowds - Probabilistic Behaviour in Anonymity Protocols (talk).

Sassone, V. (2009) On the anonymity in the Crowds protocol (talk).

Sassone, V. (2009) Elements of Foundations for Ubiquitous Computing (talk).

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk).

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk).

Sassone, V. (2009) Permission-based separation logic for message-passing concurrency (talk).

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk).

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security applications (talk).

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security Applications (talk).

Sassone, V. (2008) Structural Operational Semantics for Stochastic Systems (talk).

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk).

Sassone, V. (2007) A Bayesian model for event-based trust - Elements of a foundation for computational trust (talk).

Sassone, V. (2007) Opportunities for Formal Methods in the analysis of pervasive adaptation (talk).

Sassone, V. (2006) Semantic barbs: what's in an observation? (talk).

Sassone, V. (2006) Elements towards a foundation of computational trust (talk).

Sassone, V. (2006) Inferring Dynamic Credential for Rôle-based Trust Management (talk).

Sassone, V. (2006) Typed Polyadic Pi-Calculus in Bigraphs (talk).

Sassone, V. (2006) BiLog - A Framework for Structural Logics (talk).

Sassone, V. (2005) A Framework for Concrete Reputation Systems with applications to History-Based Access Control (talk).

Sassone, V. (2005) Labels from Reductions - the theory of relative pushouts (talk).

Sassone, V. (2004) Background and Structure of a Coordination Action (talk).

Sassone, V. (2004) A Calculus for Trust Management (talk).

Sassone, V. (2004) Congruences for Contextual Graph-Rewriting (talk).

Sassone, V. (2004) Context-Aware Software-Intensive Systems - An autonomic approach (talk).

Sassone, V. (2004) A dependently typed ambient calculus (talk).

Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control (talk).

Sassone, V. (2004) Foundations of Global Computing - A Personal Perspective (talk).

Sassone, V. (2004) Global Computing II - A new FET Programme for FP6 (talk).

Sassone, V. (2004) Security Policies as Membranes in Systems for Global Computing (talk).

Sassone, V. (2004) Trust and Concurrency - A Theory Contribution to Ubiquitous Computing (talk).

Sassone, V. (2003) A 2-Categorical Approach to Bisimulation Congruences (talk).

Sassone, V. (2003) Calculi and Types for Global Computing (talk).

Sassone, V. (2003) A Calculus of Bounded Capacities (talk).

Sassone, V. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories (talk).

Sassone, V. (2003) A Role for Theory in UbiNet (talk).

Sassone, V. (2003) Subtyping for Access Control (talk).

Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation (talk).

Sassone, V. (2002) Capacity-Bounded Computational Ambients (talk).

Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients (talk).

Sassone, V. (2001) An introduction to the π-calculus - Model, Variations, Semantics (talk).

web services

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In, 13th Symposium on Advanced Database Systems, SEDB 2005. , 392-399.

weighted ambients

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373, (1-2), 41-69.

XML

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

xml data

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In, 13th Symposium on Advanced Database Systems, SEDB 2005. , 392-399.

This list was generated on Tue May 22 23:09:11 2012 BST.

Publications included from http://eprints.ecs.soton.ac.uk/view/person/9724.keywords.include.