BOREALE, MICHELE

BOREALE, MICHELE  

Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)  

Mostra records
Risultati 1 - 20 di 104 (tempo di esecuzione: 0.058 secondi).
Titolo Data di pubblicazione Autore(i) File
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.