BOREALE, MICHELE
BOREALE, MICHELE
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
A coalgebraic perspective on linear weighted automata
2012 F.Bonchi; M.Bonsangue; M.Boreale; J.Rutten; A.Silva
A complexity analysis of bisimilarity for value-passing processes
2000 M. BOREALE; L. TREVISAN
A Concurrent Calculus with Atomic Transactions
2007 L. ACCIAI; M. BOREALE; S. DAL ZILIO
A Framework for the Analysis of Security Protocols
2002 M. BOREALE; M. G. BUSCEMI
A Fully Abstract Semantics for Causality in the pi-calculus
1995 M. Boreale; D. Sangiorgi
A Fully Abstract Semantics for Causality in the pi-Calculus
1998 M. Boreale; D. Sangiorgi
A General Name Binding Mechanism
2005 M. BOREALE; M. G. BUSCEMI; U. MONTANARI
A linear-algebraic method to compute polynomial PDE conservation laws
2022 Boreale, M; Collodi, L
A method for symbolic analysis of security protocols
2005 M. BOREALE; MARIA GRAZIA BUSCEMI
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
2010 M. Boreale; D. Clark; D. Gorla
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
2015 M. Boreale; D. Clark; D. Gorla
A Symbolic Semantics for the pi-Calculus
1996 R. DE NICOLA; M. BOREALE
A symbolic semantics for the π-calculus — Extended abstract
1994 Michele Boreale;Rocco Nicola
A Theory of ''May'' Testing for Asynchronous Languages
1999 M. Boreale; R. De Nicola; R. Pugliese
A theory of symbolic bisimulation for timed processes
1996 M. Boreale
A Type System for Client Progress in a Service-Oriented Calculus
2008 L.Acciai; M.Boreale
A Typed Calculus for Querying Distributed XML Documents
2006 L. ACCIAI; M. BOREALE; S. DAL-ZILIO
Advanced mechanisms for service composition, query and discovery
2011 M. Boreale; M. Bravetti
Algebra and Coalgebra of Stream Products
2021 Boreale M.; Gorla D.
Algebra, coalgebra, and minimization in polynomial differential equations
2019 Boreale M.