default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFabio Gadducci
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j45]Lorenzo Ceragioli
, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. Proc. ACM Program. Lang. 8(POPL): 1269-1297 (2024)- [j44]Davide Castelnovo, Fabio Gadducci, Marino Miculan:
A simple criterion for M,N-adhesivity. Theor. Comput. Sci. 982: 114280 (2024) - [c106]Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers. APLAS 2024: 176-195 - [c105]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CONCUR 2024: 11:1-11:24 - [c104]Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Effect Semantics for Quantum Process Calculi. CONCUR 2024: 16:1-16:22 - [c103]Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Testing Quantum Processes. ISoLA (1) 2024: 132-151 - [i19]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CoRR abs/2407.06181 (2024) - [i18]Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers. CoRR abs/2408.15087 (2024) - 2023
- [j43]Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini:
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. Appl. Categorical Struct. 31(5): 42 (2023) - [j42]Fabio Gadducci, Timo Kehrer:
Specification and modelling of computing systems through graphs and graph transformation. J. Log. Algebraic Methods Program. 135: 100905 (2023) - [c102]Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta:
Weakly Markov Categories and Weakly Affine Monads. CALCO 2023: 16:1-16:17 - [c101]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
A Spatial Logic with Time and Quantifiers. DaLí 2023: 1-19 - [c100]Fabio Gadducci, Andrea Laretto, Davide Trotta:
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. ICGT 2023: 22-42 - [i17]Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta:
Weakly affine monads. CoRR abs/2303.14049 (2023) - [i16]Fabio Gadducci, Andrea Laretto, Davide Trotta:
Specification and verification of a linear-time logic for graph transformation. CoRR abs/2305.03832 (2023) - [i15]Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers. CoRR abs/2311.06116 (2023) - 2022
- [j41]Fabio Gadducci, Francesco Santini:
Distributivity and residuation for lexicographic orders. Inf. Process. Lett. 177: 106271 (2022) - [j40]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69(2): 14:1-14:58 (2022) - [j39]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32(4): 511-541 (2022) - [j38]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32(7): 829-869 (2022) - [j37]Timo Kehrer, Fabio Gadducci:
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020). Sci. Comput. Program. 221: 102845 (2022) - [j36]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Categorical specification and implementation of Replicated Data Types. Theor. Comput. Sci. 903: 84-112 (2022) - [j35]Fabio Gadducci, Timo Kehrer:
Special issue on Theoretical Topics in Graph Transformation. Theor. Comput. Sci. 931: 155-156 (2022) - [c99]Fabio Gadducci, Davide Trotta:
A Presheaf Semantics for Quantified Temporal Logics. WADT 2022: 81-99 - [c98]Laura Bussi, Fabio Gadducci, Francesco Santini:
Soft Concurrent Constraint Programming with Local Variables. COORDINATION 2022: 159-177 - [c97]Davide Castelnovo, Fabio Gadducci, Marino Miculan:
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. FoSSaCS 2022: 205-224 - [c96]Reiko Heckel, Andrea Corradini, Fabio Gadducci:
Graph Rewriting Components. ICGT 2022: 20-37 - [c95]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink:
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) 2022: 479-497 - [i14]Davide Castelnovo, Fabio Gadducci, Marino Miculan:
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. CoRR abs/2201.00233 (2022) - [i13]Andrea Corradini, Fabio Gadducci, Davide Trotta:
Completeness and expressiveness for gs-monoidal categories. CoRR abs/2205.06892 (2022) - 2021
- [j34]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. 281: 104770 (2021) - [j33]Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini:
Soft constraint automata with memory. J. Log. Algebraic Methods Program. 118: 100615 (2021) - [c94]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink:
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod 2021: 78-90 - [c93]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
Towards a Spatial Model Checker on GPU. FORTE 2021: 188-196 - [c92]Fabio Gadducci, Francesco Santini:
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. JELIA 2021: 162-176 - [e9]Fabio Gadducci, Alexandra Silva:
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria. LIPIcs 211, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-212-9 [contents] - [e8]Fabio Gadducci, Timo Kehrer:
Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings. Lecture Notes in Computer Science 12741, Springer 2021, ISBN 978-3-030-78945-9 [contents] - [i12]Fabio Gadducci, Francesco Santini:
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. CoRR abs/2103.06741 (2021) - [i11]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR abs/2104.14686 (2021) - [i10]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR abs/2109.06049 (2021) - [i9]Fabio Gadducci, Davide Trotta:
A Presheaf Semantics for Quantified Temporal Logics. CoRR abs/2111.03855 (2021) - 2020
- [j32]Giovanni A. Cignoni, Fabio Gadducci:
Pisa, 1954-1961: Assessing Key Stages of a Seminal Italian Project. IEEE Ann. Hist. Comput. 42(2): 6-19 (2020) - [c91]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Implementation Correctness for Replicated Data Types, Categorically. ICTAC 2020: 283-303 - [e7]Fabio Gadducci, Timo Kehrer:
Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12150, Springer 2020, ISBN 978-3-030-51371-9 [contents] - [i8]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
A spatial model checker in GPU (extended version). CoRR abs/2010.07284 (2020) - [i7]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR abs/2012.01847 (2020)
2010 – 2019
- 2019
- [j31]Paolo Baldan, Fabio Gadducci:
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica 56(1): 61-92 (2019) - [c90]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto:
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 170-190 - [c89]Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini:
Polyadic Soft Constraints. The Art of Modelling Computational Systems 2019: 241-257 - [c88]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
A Categorical Account of Replicated Data Types. FSTTCS 2019: 42:1-42:15 - [i6]Giovanni A. Cignoni, Fabio Gadducci:
Retracing and assessing the CEP project. CoRR abs/1904.00944 (2019) - 2018
- [j30]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14(3) (2018) - [j29]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán:
On the semantics and implementation of replicated data types. Sci. Comput. Program. 167: 91-113 (2018) - [c87]Kasper Dokter, Fabio Gadducci, Francesco Santini:
Soft Constraint Automata with Memory. It's All About Coordination 2018: 70-85 - [c86]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting with Frobenius. LICS 2018: 165-174 - [i5]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - 2017
- [j28]Fabio Gadducci, Francesco Santini:
Residuation for bipolar preferences in soft constraints. Inf. Process. Lett. 118: 69-74 (2017) - [j27]Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia:
Observational and behavioural equivalences for soft concurrent constraint programming. J. Log. Algebraic Methods Program. 92: 45-63 (2017) - [c85]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán:
A Denotational View of Replicated Data Types. COORDINATION 2017: 138-156 - [c84]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c83]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and event structures for fusions. LICS 2017: 1-12 - [i4]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and Event Structures for Fusions. CoRR abs/1701.02394 (2017) - 2016
- [c82]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [e6]Fabio Gadducci, Mirko Tavosanis:
History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers. IFIP Advances in Information and Communication Technology 487, 2016, ISBN 978-3-319-47285-0 [contents] - [i3]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. CoRR abs/1602.06771 (2016) - 2015
- [j26]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j25]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) - [j24]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015) - [c81]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c80]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 - [c79]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [c78]Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia:
A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION 2015: 133-149 - [p2]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - [i2]Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis:
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports 5(11): 1-28 (2015) - 2014
- [j23]Giovanni A. Cignoni, Fabio Gadducci, Stefano Paci:
A Virtual Experience on the Very First Italian Computer. ACM Journal on Computing and Cultural Heritage 7(4): 21:1-21:23 (2014) - [j22]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24(4) (2014) - [j21]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15(4): 35:1-35:27 (2014) - [c77]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - 2013
- [j20]Fabio Gadducci, Leonardo Mariani:
Preface. J. Vis. Lang. Comput. 24(3): 151-152 (2013) - [c76]Giovanni A. Cignoni, Fabio Gadducci:
Using Old Computers for Teaching Computer Science. HC 2013: 121-131 - [c75]Maurice H. ter Beek, Fabio Gadducci, Francesco Santini:
Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS 2013: 39-48 - [c74]Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing:
Soft Constraints for Lexicographic Orders. MICAI (1) 2013: 68-79 - [i1]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Adv. Math. Commun. 2 (2013) - 2012
- [j19]Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini:
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. Expert Syst. Appl. 39(2): 1708-1717 (2012) - [j18]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012) - [j17]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. 49(2): 161-183 (2012) - [c73]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c72]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65 - [c71]Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
A Modular LTS for Open Reactive Systems. IFIP TCS 2012: 134-148 - [c70]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. WADT 2012: 95-110 - [c69]Fabio Gadducci, Giacoma Valentina Monreale:
Barbed Semantics for Open Reactive Systems. WADT 2012: 161-177 - [c68]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138 - 2011
- [j16]Fabio Gadducci, Leonardo Mariani:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j15]Fabio Gadducci, Giacoma Valentina Monreale:
A decentralised graphical implementation of mobile ambients. J. Log. Algebraic Methods Program. 80(2): 113-136 (2011) - [c67]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304 - [c66]Paolo Baldan, Fabio Gadducci, Pawel Sobocinski:
Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS 2011: 48-59 - [p1]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368 - 2010
- [j14]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20: 53-96 (2010) - [j13]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [c65]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c64]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari:
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86 - [c63]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138 - [c62]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297 - [c61]Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini:
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) 2010: 386-398 - [c60]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs. TGC 2010: 205-221 - [c59]Andrea Corradini, Fabio Gadducci, Leila Ribeiro:
An Institution for Graph Transformation. WADT 2010: 160-174
2000 – 2009
- 2009
- [j12]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae 94(3-4): 305-330 (2009) - [j11]Filippo Bonchi, Fabio Gadducci, Barbara König:
Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009) - [c58]Paolo Baldan, Filippo Bonchi, Fabio Gadducci:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - [c57]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients. FoSSaCS 2009: 272-287 - [c56]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
A Graph Syntax for Processes and Services. WS-FM 2009: 46-60 - [c55]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
On Barbs and Labels in Reactive Systems. SOS 2009: 46-61 - [c54]Fabio Gadducci:
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. TERMGRAPH@ETAPS 2009: 3-15 - [e5]Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek:
Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer 2009, ISBN 978-3-642-10247-9 [contents] - [e4]Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier 2009 [contents] - 2008
- [j10]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae 89(4): 479-510 (2008) - [c53]