2008 |
49 | EE | Lucia Acciai,
Michele Boreale:
Spatial and Behavioral Types in the Pi-Calculus.
CONCUR 2008: 372-386 |
48 | EE | Lucia Acciai,
Michele Boreale:
A Type System for Client Progress in a Service-Oriented Calculus.
Concurrency, Graphs and Models 2008: 642-658 |
47 | EE | Michele Boreale,
Roberto Bruni,
Rocco De Nicola,
Michele Loreti:
Sessions and Pipelines for Structured Service Programming.
FMOODS 2008: 19-38 |
46 | EE | Lucia Acciai,
Michele Boreale:
XPi: A typed process calculus for XML messaging.
Sci. Comput. Program. 71(2): 110-143 (2008) |
45 | EE | Lucia Acciai,
Michele Boreale:
Responsiveness in process calculi.
Theor. Comput. Sci. 409(1): 59-93 (2008) |
2007 |
44 | EE | Lucia Acciai,
Michele Boreale,
Silvano Dal-Zilio:
A Concurrent Calculus with Atomic Transactions.
ESOP 2007: 48-63 |
43 | EE | Lucia Acciai,
Michele Boreale:
Type Abstractions of Name-Passing Processes.
FSEN 2007: 302-317 |
2006 |
42 | EE | Lucia Acciai,
Michele Boreale:
Responsiveness in Process Calculi.
ASIAN 2006: 136-150 |
41 | EE | Michele Boreale:
Attacking Right-to-Left Modular Exponentiation with Timely Random Faults.
FDTC 2006: 24-35 |
40 | EE | Michele Boreale:
Quantifying Information Leakage in Process Calculi.
ICALP (2) 2006: 119-131 |
39 | EE | Lucia Acciai,
Michele Boreale,
Silvano Dal-Zilio:
A Typed Calculus for Querying Distributed XML Documents.
TGC 2006: 167-182 |
38 | EE | Michele Boreale,
Roberto Bruni,
Luís Caires,
Rocco De Nicola,
Ivan Lanese,
Michele Loreti,
Francisco Martins,
Ugo Montanari,
António Ravara,
Davide Sangiorgi,
Vasco Thudichum Vasconcelos,
Gianluigi Zavattaro:
SCC: A Service Centered Calculus.
WS-FM 2006: 38-57 |
37 | EE | Lucia Acciai,
Michele Boreale,
Silvano Dal-Zilio:
A Concurrent Calculus with Atomic Transactions
CoRR abs/cs/0610137: (2006) |
36 | EE | Michele Boreale,
Fabio Gadducci:
Processes as formal power series: A coinductive approach to denotational semantics.
Theor. Comput. Sci. 360(1-3): 440-458 (2006) |
2005 |
35 | EE | Lucia Acciai,
Michele Boreale:
XPi: A Typed Process Calculus for XML Messaging.
FMOODS 2005: 47-66 |
34 | EE | Michele Boreale,
Maria Grazia Buscemi,
Ugo Montanari:
A General Name Binding Mechanism.
TGC 2005: 61-74 |
33 | EE | Michele Boreale,
Maria Grazia Buscemi:
A method for symbolic analysis of security protocols.
Theor. Comput. Sci. 338(1-3): 393-425 (2005) |
2004 |
32 | EE | Michele Boreale,
Maria Grazia Buscemi,
Ugo Montanari:
D-Fusion: A Distinctive Fusion Calculus.
APLAS 2004: 296-310 |
2003 |
31 | EE | Michele Boreale,
Maria Grazia Buscemi:
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.
MFCS 2003: 269-278 |
30 | EE | Michele Boreale,
Fabio Gadducci:
Denotational Testing Semantics in Coinductive Form.
MFCS 2003: 279-289 |
2002 |
29 | EE | Michele Boreale,
Maria Grazia Buscemi:
A Framework for the Analysis of Security Protocols.
CONCUR 2002: 483-498 |
28 | EE | Michele Boreale,
Daniele Gorla:
On Compositional Reasoning in the Spi-calculus.
FoSSaCS 2002: 67-81 |
27 | EE | Michele Boreale,
Maria Grazia Buscemi:
Experimenting with STA, a tool for automatic analysis of security protocols.
SAC 2002: 281-285 |
26 | EE | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
Trace and Testing Equivalence on Asynchronous Processes.
Inf. Comput. 172(2): 139-164 (2002) |
2001 |
25 | EE | Michele Boreale:
Symbolic Trace Analysis of Cryptographic Protocols.
ICALP 2001: 667-681 |
24 | EE | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
Proof Techniques for Cryptographic Processes.
SIAM J. Comput. 31(3): 947-986 (2001) |
23 | EE | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
Divergence in testing and readiness semantics.
Theor. Comput. Sci. 266(1-2): 237-248 (2001) |
2000 |
22 | | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
Process Algebraic Analysis of Cryptographic Protocols.
FORTE 2000: 375-392 |
21 | EE | Michele Boreale,
Luca Trevisan:
A complexity analysis of bisimilarity for value-passing processes.
Theor. Comput. Sci. 238(1-2): 313-345 (2000) |
1999 |
20 | | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
A Theory of "May" Testing for Asynchronous Languages.
FoSSaCS 1999: 165-179 |
19 | EE | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
Proof Techniques for Cryptographic Processes.
LICS 1999: 157-166 |
18 | | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
Basic Observables for Processes.
Inf. Comput. 149(1): 77-98 (1999) |
1998 |
17 | EE | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
Asynchronous Observations of Processes.
FoSSaCS 1998: 95-109 |
16 | | Michele Boreale,
Davide Sangiorgi:
Bisimulation in Name-Passing Calculi without Matching.
LICS 1998: 165-175 |
15 | | Michele Boreale,
Cédric Fournet,
Cosimo Laneve:
Bisimulations in the join-calculus.
PROCOMET 1998: 68-86 |
14 | EE | Michele Boreale,
Davide Sangiorgi:
A Fully Abstract Semantics for Causality in the \pi-Calculus.
Acta Inf. 35(5): 353-400 (1998) |
13 | EE | Michele Boreale:
On the Expressiveness of Internal Mobility in Name-Passing Calculi.
Theor. Comput. Sci. 195(2): 205-226 (1998) |
12 | EE | Michele Boreale,
Davide Sangiorgi:
Some Congruence Properties for Pi-Calculus Bisimilarities.
Theor. Comput. Sci. 198(1-2): 159-176 (1998) |
1997 |
11 | | Michele Boreale,
Rocco De Nicola,
Rosario Pugliese:
Basic Observables for Processes.
ICALP 1997: 482-492 |
1996 |
10 | | Michele Boreale:
Symbolic Bisimulation for Timed Processes.
AMAST 1996: 321-335 |
9 | | Michele Boreale:
On the Expressiveness of Internal Mobility in Name-Passing Calculi.
CONCUR 1996: 163-178 |
8 | | Michele Boreale,
Luca Trevisan:
Bisimilarity Problems Requiring Exponential Time.
MFCS 1996: 230-241 |
7 | | Michele Boreale,
Rocco De Nicola:
A Symbolic Semantics for the pi-Calculus.
Inf. Comput. 126(1): 34-52 (1996) |
1995 |
6 | | Michele Boreale,
Luca Trevisan:
On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract).
FSTTCS 1995: 294-308 |
5 | | Michele Boreale,
Davide Sangiorgi:
A Fully Abstract Semantics for Causality in the Pi-Calculus.
STACS 1995: 243-254 |
4 | | Michele Boreale,
Rocco De Nicola:
Testing Equivalence for Mobile Processes
Inf. Comput. 120(2): 279-303 (1995) |
1994 |
3 | | Michele Boreale,
Rocco De Nicola:
A Symbolic Semantics for the pi-calculus (Extended Abstract).
CONCUR 1994: 299-314 |
1992 |
2 | | Michele Boreale,
Rocco De Nicola:
Testing Equivalence for Mobile Processes (Extended Abstract).
CONCUR 1992: 2-16 |
1 | | Michele Boreale,
Paola Inverardi,
Monica Nesi:
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences.
Inf. Process. Lett. 43(3): 155-160 (1992) |