Behavioural contracts with request-response operations.

Lucia Acciai

Lucia Acciai Michele Boreale Gianluigi Zavattaro Behavioural contracts with request-response operations. 248-267 2013 78 Sci. Comput. Program. 2 https://doi.org/10.1016/j.scico.2011.10.007 db/journals/scp/scp78.html#AcciaiBZ13

Lucia Acciai Michele Boreale Deciding safety properties in infinite-state pi-calculus via behavioural types. 92-117 2012 212 Inf. Comput. https://doi.org/10.1016/j.ic.2012.01.006 db/journals/iandc/iandc212.html#AcciaiB12

Lucia Acciai Michele Boreale Rocco De Nicola Linear-Time and May-Testing in a Probabilistic Reactive Setting. 29-43 2011 FMOODS/FORTE https://doi.org/10.1007/978-3-642-21461-5_2 conf/forte/2011 db/conf/forte/forte2011.html#AcciaiBN11 Lucia Acciai Chiara Bodei Michele Boreale Roberto Bruni 0001 Hugo Torres Vieira Static Analysis Techniques for Session-Oriented Calculi. 214-231 2011 Results of the SENSORIA Project https://doi.org/10.1007/978-3-642-20401-2_10 books/sp/sensoria11 db/books/collections/sensoria2011.html#AcciaiBBBV11

Lucia Acciai Michele Boreale Spatial and behavioral types in the pi-calculus. 1118-1153 2010 208 Inf. Comput. 10 https://doi.org/10.1016/j.ic.2009.10.011 db/journals/iandc/iandc208.html#AcciaiB10

Lucia Acciai Michele Boreale Gianluigi Zavattaro Behavioural Contracts with Request-Response Operations. 16-30 2010 COORDINATION https://doi.org/10.1007/978-3-642-13414-2_2 conf/coordination/2010 db/conf/coordination/coordination2010.html#AcciaiBZ10 Lucia Acciai Michele Boreale Gianluigi Zavattaro On the Relationship between Spatial Logics and Behavioral Simulations. 146-160 2010 FoSSaCS https://doi.org/10.1007/978-3-642-12032-9_11 conf/fossacs/2010 db/conf/fossacs/fossacs2010.html#AcciaiBZ10 Lucia Acciai Michele Boreale Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. 31-42 2009 ICALP (2) https://doi.org/10.1007/978-3-642-02930-1_3 conf/icalp/2009-2 db/conf/icalp/icalp2009-2.html#AcciaiB09 Lucia Acciai Michele Boreale Deciding Spatial and behavioral properties in the pi-calculus. 7-11 2009 ICTCS conf/ictcs/2009 db/conf/ictcs/ictcs2009.html#AcciaiB09

Lucia Acciai Michele Boreale XPi: A typed process calculus for XML messaging. 110-143 2008 71 Sci. Comput. Program. 2 https://doi.org/10.1016/j.scico.2008.02.001 db/journals/scp/scp71.html#AcciaiB08

Lucia Acciai Michele Boreale Responsiveness in process calculi. 59-93 2008 409 Theor. Comput. Sci. 1 https://doi.org/10.1016/j.tcs.2008.08.017 db/journals/tcs/tcs409.html#AcciaiB08

Lucia Acciai Michele Boreale A Type System for Client Progress in a Service-Oriented Calculus. 642-658 2008 Concurrency, Graphs and Models https://doi.org/10.1007/978-3-540-68679-8_40 conf/birthday/2008montanari db/conf/birthday/montanari2008.html#AcciaiB08 Lucia Acciai Michele Boreale Spatial and Behavioral Types in the Pi-Calculus. 372-386 2008 CONCUR https://doi.org/10.1007/978-3-540-85361-9_30 conf/concur/2008 db/conf/concur/concur2008.html#AcciaiB08 Martin Wirsing Matthias M. Hölzl Lucia Acciai Federico Banti Allan Clark Alessandro Fantechi Stephen Gilmore Stefania Gnesi László Gönczy Nora Koch Alessandro Lapadula Philip Mayer Franco Mazzanti Rosario Pugliese Andreas Schroeder 0001 Francesco Tiezzi 0001 Mirco Tribastone Dániel Varró SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. 170-190 2008 ISoLA https://doi.org/10.1007/978-3-540-88479-8_13 conf/isola/2008 db/conf/isola/isola2008.html#WirsingHABCFGGGKLMMPSTTV08 Lucia Acciai Michele Boreale Silvano Dal-Zilio A Concurrent Calculus with Atomic Transactions. 48-63 2007 conf/esop/2007 ESOP https://doi.org/10.1007/978-3-540-71316-6_5 db/conf/esop/esop2007.html#AcciaiBD07 Lucia Acciai Michele Boreale Type Abstractions of Name-Passing Processes. 302-317 2007 conf/fsen/2007 FSEN https://doi.org/10.1007/978-3-540-75698-9_20 db/conf/fsen/fsen2007.html#AcciaiB07 Lucia Acciai Michele Boreale Responsiveness in Process Calculi. 136-150 2006 ASIAN https://doi.org/10.1007/978-3-540-77505-8_11 conf/asian/2006 db/conf/asian/asian2006.html#AcciaiB06 Lucia Acciai Michele Boreale Silvano Dal-Zilio A Typed Calculus for Querying Distributed XML Documents. 167-182 2006 conf/tgc/2006 TGC https://doi.org/10.1007/978-3-540-75336-0_11 db/conf/tgc/tgc2006.html#AcciaiBD06

Lucia Acciai Michele Boreale Silvano Dal-Zilio A Concurrent Calculus with Atomic Transactions http://arxiv.org/abs/cs/0610137 2006 CoRR abs/cs/0610137 db/journals/corr/corr0610.html#abs-cs-0610137

Lucia Acciai Michele Boreale XPi: A Typed Process Calculus for XML Messaging. 47-66 2005 conf/fmoods/2005 FMOODS https://doi.org/10.1007/11494881_4 db/conf/fmoods/fmoods2005.html#AcciaiB05 Federico Banti Chiara Bodei Michele Boreale Roberto Bruni 0001 Allan Clark Silvano Dal-Zilio Alessandro Fantechi Stephen Gilmore Stefania Gnesi László Gönczy Matthias M. Hölzl Nora Koch Alessandro Lapadula Philip Mayer Franco Mazzanti Rocco De Nicola Rosario Pugliese Andreas Schroeder 0001 Francesco Tiezzi 0001 Mirco Tribastone Dániel Varró Hugo Torres Vieira Martin Wirsing Gianluigi Zavattaro