| Team bisimilarity, and its associated modal logic, for BPP nets | 0 | 0.34 | 2021 |
| Causal Semantics For Bpp Nets With Silent Moves | 0 | 0.34 | 2021 |
| Verification of finite-state machines: A distributed approach. | 1 | 0.36 | 2018 |
| CCS(25, 12) is Turing-complete. | 0 | 0.34 | 2017 |
| Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures | 13 | 0.91 | 2016 |
| On intransitive non-interference in some models of concurrency | 5 | 0.46 | 2011 |
| An Operational Petri Net Semantics for A2CCS. | 1 | 0.35 | 2011 |
| A Process Calculus for Expressing Finite Place/Transition Petri Nets | 3 | 0.41 | 2010 |
| On the Decidability of Non Interference over Unbounded Petri Nets | 9 | 0.53 | 2010 |
| Towards Information Flow Properties for Distributed Systems | 2 | 0.36 | 2009 |
| On the Relationship between π-Calculus and Finite Place/Transition Petri Nets | 2 | 0.39 | 2009 |
| Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings | 19 | 1.31 | 2009 |
| Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs | 11 | 0.59 | 2009 |
| pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi | 1 | 0.36 | 2008 |
| Petri Net Security Checker: Structural Non-interference at Work | 16 | 0.69 | 2008 |
| On the expressive power of global and local priority in process calculi | 7 | 0.49 | 2007 |
| Obituary, Nadia Busi (1968-2007). | 0 | 0.34 | 2007 |
| A Formalization of Credit and Responsibility Within the GNDC Schema | 5 | 0.42 | 2006 |
| Choreography and orchestration conformance for system design | 69 | 4.97 | 2006 |
| Supporting Secure Coordination in SecSpaces | 16 | 0.69 | 2006 |
| Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings | 19 | 5.09 | 2006 |
| On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda | 1 | 0.38 | 2005 |
| Theoretical foundations of security analysis and design II | 0 | 0.34 | 2005 |
| Choreography and orchestration: a synergic approach for system design | 81 | 5.05 | 2005 |
| Analysing Password Protocol Security Against Off-line Dictionary Attacks | 31 | 1.15 | 2005 |
| Reasoning about interaction patterns in choreography | 17 | 1.88 | 2005 |
| Approximating Imperfect Cryptography in a Formal Model | 1 | 0.36 | 2004 |
| A process-algebraic approach for the analysis of probabilistic noninterference | 44 | 1.55 | 2004 |
| Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time | 0 | 0.34 | 2004 |
| Combining Partitions in SecSpaces | 0 | 0.34 | 2004 |
| Security Issues in the Tuple-Space Coordination Model | 8 | 0.52 | 2004 |
| Positive Non-interference in Elementary and Trace Nets | 12 | 0.74 | 2004 |
| A simple framework for real-time cryptographic protocol analysis with compositional proof rules | 27 | 0.99 | 2004 |
| Towards a formal treatment of secrecy against computational adversaries | 2 | 0.37 | 2004 |
| Automated analysis of timed security: a case study on web privacy | 8 | 0.57 | 2004 |
| On securing real-time speech transmission over the internet: an experimental study | 0 | 0.34 | 2003 |
| A formal approach for checking security properties in SecSpaces | 2 | 0.40 | 2003 |
| A simple language for real-time cryptographic protocol analysis | 26 | 1.20 | 2003 |
| Compositional Verification of Integrity for Digital Stream Signature Protocols | 5 | 0.43 | 2003 |
| Formal Anaylsis of Some Timed Security Properties in Wireless Protocols | 4 | 0.42 | 2003 |
| Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols | 2 | 0.39 | 2003 |
| SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗ | 8 | 0.57 | 2003 |
| Two formal approaches for approximating noninterference properties | 7 | 0.48 | 2002 |
| Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement | 20 | 0.99 | 2002 |
| Unified specification and performance evaluation using stochastic process algebras | 3 | 0.37 | 2002 |
| The theory of interactive generalized semi-Markov processes | 57 | 2.53 | 2002 |
| Classification of security properties - (Part II: Network security) | 21 | 0.76 | 2002 |
| Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54] | 0 | 0.34 | 2001 |
| Techniques for Security Checking: Non-Interference vs Control Flow Analysis | 4 | 0.41 | 2001 |
| Vertical implementation | 11 | 0.64 | 2001 |
