Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marco Pistore
2010 – today
- 2013
[c100]Luciano Baresi, Annapaola Marconi, Marco Pistore, Adina Sirbu: Corrective Evolution of Adaptable Process Models. BMMDS/EMMSAD 2013: 214-229- [c99]Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore: A conceptual framework for collective adaptive systems. SAC 2013: 1935-1936
- [c98]Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore: CAptLang: a language for context-aware and adaptable business processes. VaMoS 2013: 12
- 2012
- [c97]Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore: SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. BIS (Workshops) 2012: 243-254
- [c96]Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Heorhi Raik: Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes. ICWS 2012: 33-41
- [c95]Farhana H. Zulkernine, Piergiorgio Bertoli, Marco Pistore, Andreas Friesen, Jens Lemcke, Bernhard Thimmel, Otfried von Geisau: A Constraint-Driven Business Object Model for Service-Based Business Processes. ITNG 2012: 182-188
- [c94]Heorhi Raik, Antonio Bucchiarone, Nawaz Khurshid, Annapaola Marconi, Marco Pistore: ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems. SERVICES 2012: 385-392
- [c93]Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore: SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. WISE 2012: 796-799
- 2011
- [c92]Asli Zengin, Annapaola Marconi, Marco Pistore: CLAM: cross-layer adaptation manager for service-based applications. QASBA 2011: 21-27
- [c91]Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Adina Sirbu: A Context-Aware Framework for Business Processes Evolution. EDOCW 2011: 146-154
- [c90]Joe Butler, Juan Lambea, Michael Nolan, Wolfgang Theilmann, Francesco Torelli, Ramin Yahyapour, Annamaria Chiasera, Marco Pistore: SLAs Empowering Services in the Future Internet. Future Internet Assembly 2011: 327-338
- [c89]Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Heorhi Raik: CAptEvo: Context-Aware Adaptation and Evolution of Business Processes. ICSOC Workshops 2011: 252-254
- [c88]Adina Sirbu, Annapaola Marconi, Marco Pistore, Hanna Eberle, Frank Leymann, Tobias Unger: Dynamic Composition of Pervasive Process Fragments. ICWS 2011: 73-80
- [c87]Asli Zengin, Raman Kazhamiakin, Marco Pistore: CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications. ICWS 2011: 698-699
- [c86]Antonio Bucchiarone, Marco Pistore, Heorhi Raik, Raman Kazhamiakin: Adaptation of service-based business processes by context-aware replanning. SOCA 2011: 1-8
- [c85]Asli Zengin, Annapaola Marconi, Luciano Baresi, Marco Pistore: CLAM: Managing cross-layer adaptation in service-based systems. SOCA 2011: 1-8
- [i1]Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. CoRR abs/1109.6346 (2011)
- 2010
- [j19]Piergiorgio Bertoli, Marco Pistore, Paolo Traverso: Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174(3-4): 316-361 (2010)
- [j18]Grace A. Lewis, Dennis B. Smith, Andreas Metzger, Andrea Zisman, Marco Pistore: Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010). ACM SIGSOFT Software Engineering Notes 35(5): 30-33 (2010)
- [c84]Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore, Matthias Wagner: Use-Based Discovery of Pervasive Services. AIMSA 2010: 11-20
- [c83]Grace A. Lewis, Andreas Metzger, Marco Pistore, Dennis B. Smith, Andrea Zisman: 2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). ICSE (2) 2010: 429-430
- [c82]Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik: Modelling and Automated Composition of User-Centric Services. OTM Conferences (1) 2010: 291-308
- [c81]Andreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl: Exploiting assumption-based verification for the adaptation of service-based applications. SAC 2010: 2430-2437
- [e3]Tanja Zseby, Reijo Savola, Marco Pistore (Eds.): Future Internet - FIS 2009, Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009. Lecture Notes in Computer Science 6152, Springer 2010, ISBN 978-3-642-14955-9
2000 – 2009
- 2009
- [j17]Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso: Task decomposition on abstract states, for planning under nondeterminism. Artif. Intell. 173(5-6): 669-695 (2009)
- [j16]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore: Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. J. Artif. Intell. Res. (JAIR) 35: 49-117 (2009)
- [c80]Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner: Continuous Orchestration of Web Services via Planning. ICAPS 2009
- [c79]Marco Pistore, Paolo Traverso, Massimo Paolucci, Matthias Wagner: From Software Services to a Future Internet of Services. Future Internet Assembly 2009: 183-192
- [c78]Elisabetta Di Nitto, Dimka Karastoyanova, Andreas Metzger, Michael Parkin, Marco Pistore, Klaus Pohl, Fabrizio Silvestri, Willem-Jan van den Heuvel: S-Cube: Addressing Multidisciplinary Research Challenges for the Internet of Services. Future Internet Assembly 2009: 263-272
- [c77]Raman Kazhamiakin, Marco Pistore, Asli Zengin: Cross-Layer Adaptation and Monitoring of Service-Based Applications. ICSOC/ServiceWave Workshops 2009: 325-334
- [c76]Raman Kazhamiakin, Branimir Wetzstein, Dimka Karastoyanova, Marco Pistore, Frank Leymann: Adaptation of Service-Based Applications Based on Process Quality Factor Analysis. ICSOC/ServiceWave Workshops 2009: 395-404
- [c75]Annapaola Marconi, Marco Pistore, Adina Sirbu, Hanna Eberle, Frank Leymann, Tobias Unger: Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation. ICSOC/ServiceWave 2009: 445-454
- [c74]Antonio Bucchiarone, Cinzia Cappiello, Elisabetta Di Nitto, Raman Kazhamiakin, Valentina Mazza, Marco Pistore: Design for Adaptation of Service-Based Applications: Main Issues and Requirements. ICSOC/ServiceWave Workshops 2009: 467-476
- [c73]Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner: Control Flow Requirements for Automated Service Composition. ICWS 2009: 17-24
- [c72]Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti: Dynamo + Astro: An Integrated Approach for BPEL Monitoring. ICWS 2009: 230-237
- [c71]Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi: Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD 2009: 177-184
- [c70]
- [c69]Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore: A Formalisation of Adaptable Pervasive Flows. WS-FM 2009: 61-75
- 2008
- [j15]Annapaola Marconi, Marco Pistore, Paolo Traverso: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. 31(3): 23-26 (2008)
- [c68]Dmitry Shaparau, Marco Pistore, Paolo Traverso: Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. AAAI 2008: 983-990
- [c67]Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto: History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
- [c66]Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner: Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. FIS 2008: 94-106
- [c65]Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Semantic Annotation for Web Service Processes. SEBD 2008: 69-80
- [c64]Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12
- [c63]Raman Kazhamiakin, Andreas Metzger, Marco Pistore: Towards Correctness Assurance in Adaptive Service-Based Applications. ServiceWave 2008: 25-37
- [c62]Julia Hielscher, Raman Kazhamiakin, Andreas Metzger, Marco Pistore: A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. ServiceWave 2008: 122-133
- [c61]Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore: Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. Web Intelligence 2008: 605-611
- [e2]Danail Dochev, Marco Pistore, Paolo Traverso (Eds.): Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Lecture Notes in Computer Science 5253, Springer 2008, ISBN 978-3-540-85775-4
- 2007
- [j14]Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. (JAIR) 30: 101-132 (2007)
- [c60]Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore: Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. AAAI 2007: 1013-1018
- [c59]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007
- [c58]
- [c57]Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Analysis of the Composed Telecom Services. ICSOC Workshops 2007: 282-294
- [c56]Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso: AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. ICWS 2007: 767-774
- [c55]Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore: Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. ICWS 2007: 815-822
- [c54]Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Verification ofWeb Services Compositions in the Telecommunication Domain. ICWS 2007: 1214-1215
- [c53]Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232
- [p1]Marco Pistore, Paolo Traverso: Assumption-Based Composition and Monitoring of Web Services. Test and Analysis of Web Services 2007: 307-335
- [e1]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing (Eds.): Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [c52]Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore: Timed Modelling and Analysis in Web Service Compositions. ARES 2006: 840-846
- [c51]Dmitry Shaparau, Marco Pistore, Paolo Traverso: Contingent Planning with Goal Preferences. AAAI 2006: 927-935
- [c50]Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti: Run-Time Monitoring of the Execution of Plans for Web Service Composition. ICAPS 2006: 346-349
- [c49]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Towards Strong Cyclic Planning under Partial Observability. ICAPS 2006: 354-357
- [c48]Piergiorgio Bertoli, Marco Pistore, Paolo Traverso: Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS 2006: 358-361
- [c47]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Stong Cyclic Planning Under Partial Observability. ECAI 2006: 580-584
- [c46]Marco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634
- [c45]Raman Kazhamiakin, Marco Pistore: Analysis of Realizability Conditions for Web Service Choreographies. FORTE 2006: 61-76
- [c44]Annapaola Marconi, Marco Pistore, Paolo Traverso: Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. ICSOC 2006: 459-464
- [c43]Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti: Run-Time Monitoring of Instances and Classes of Web Service Compositions. ICWS 2006: 63-71
- [c42]Raman Kazhamiakin, Marco Pistore: Static Verification of Control and Data inWeb Service Compositions. ICWS 2006: 83-90
- [c41]Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore: Representation, Verification, and Computation of Timed Properties in Web. ICWS 2006: 497-504
- [c40]Marco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD 2006: 208-216
- [c39]Annapaola Marconi, Marco Pistore, Paolo Traverso: Specifying Data-Flow Requirements for the Automated Composition of Web Services. SEFM 2006: 147-156
- [c38]Raman Kazhamiakin, Marco Pistore: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. WS-FM 2006: 227-241
- [c37]Raman Kazhamiakin, Marco Pistore, Luca Santuari: Analysis of communication models in web service compositions. WWW 2006: 267-276
- 2005
- [j13]Alexey Gotsman, Fabio Massacci, Marco Pistore: Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. Electr. Notes Theor. Comput. Sci. 135(1): 59-77 (2005)
- [j12]Ugo Montanari, Marco Pistore: Structured coalgebras and minimal HD-automata for the pi-calculus. Theor. Comput. Sci. 340(3): 539-576 (2005)
- [c36]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli: Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS 2005: 2-11
- [c35]Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso: A Hierarchical Task-Network Planner based on Symbolic Model Checking. ICAPS 2005: 300-309
- [c34]Raman Kazhamiakin, Marco Pistore: A Parametric Communication Model for the Verification of BPEL4WS Compositions. EPEW/WS-FM 2005: 318-332
- [c33]Marco Pistore, Pierluigi Roberti, Paolo Traverso: Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. ESWC 2005: 62-77
- [c32]Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso: ASTRO: Supporting Composition and Execution of Web Services. ICSOC 2005: 495-501
- [c31]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi: Automated Synthesis of Composite BPEL4WS Web Services. ICWS 2005: 293-301
- [c30]Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso: Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI 2005: 1252-1259
- [c29]
- [c28]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi: Automated synthesis of executable web service compositions from BPEL4WS processes. WWW (Special interest tracks and posters) 2005: 1186-1187
- 2004
- [j11]Marco Pistore, Marco Roveri, Paolo Busetta: Requirements-Driven Verification of Web Services. Electr. Notes Theor. Comput. Sci. 105: 95-108 (2004)
- [j10]Aliaksei Novikau, Anna Perini, Marco Pistore: Graph Rewriting for Agent Oriented Visual Modeling. Electr. Notes Theor. Comput. Sci. 109: 85-96 (2004)
- [c27]Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso: Planning and Monitoring Web Service Composition. AIMSA 2004: 106-115
- [c26]Piergiorgio Bertoli, Marco Pistore: Planning with Extended Goals and Partial Observability. ICAPS 2004: 270-278
- [c25]Raman Kazhamiakin, Marco Pistore, Marco Roveri: A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20
- [c24]Raman Kazhamiakin, Marco Pistore, Marco Roveri: Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415
- [c23]Paolo Traverso, Marco Pistore: Automated Composition of Semantic Web Services into Executable Processes. International Semantic Web Conference 2004: 380-394
- 2003
- [j9]Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147(1-2): 35-84 (2003)
- [j8]Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003)
- [c22]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso: A Framework for Planning with Extended Goals under Partial Observability. ICAPS 2003: 215-225
- [c21]Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE 2003: 36-52
- [c20]Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243
- [c19]Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos: Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105-
- 2002
- [j7]Mike P. Papazoglou, Marco Aiello, Marco Pistore, Jian Yang: Planning for Requests against Web Services. IEEE Data Eng. Bull. 25(4): 41-46 (2002)
- [c18]Ugo Dal Lago, Marco Pistore, Paolo Traverso: Planning with a Language for Extended Goals. AAAI/IAAI 2002: 447-454
- [c17]Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364
- [c16]Gian Luigi Ferrari, Ugo Montanari, Marco Pistore: Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158
- [c15]Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS 2002: 49-56
- [c14]Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso: A Request Language for Web-Services Based on Planning and Constraint Satisfaction. TES 2002: 76-85
- [c13]Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207
- 2001
- [j6]Flavio Corradini, Marco Pistore: `Closed Interval Process Algebra' versus `Interval Process Algebra'. Acta Inf. 37(7): 467-509 (2001)
- [j5]Marco Pistore, Davide Sangiorgi: A Partition Refinement Algorithm for the -Calculus. Inf. Comput. 164(2): 264-321 (2001)
- [j4]Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
- [c12]Marco Pistore, Paolo Traverso: Planning as Model Checking for Extended Goals in Non-deterministic Domains. IJCAI 2001: 479-486
- [c11]Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso: Model Checking Early Requirements Specifications in Tropos. RE 2001: 174-181
- 2000
- [c10]Ugo Montanari, Marco Pistore: pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. MFCS 2000: 569-578
1990 – 1999
- 1999
- [c9]Ugo Montanari, Marco Pistore: Finite State Verification for the Asynchronous pi-Calculus. TACAS 1999: 255-269
- 1998
- [c8]Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
- [c7]Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore: Final semantics for the pi-calculus. PROCOMET 1998: 225-243
- 1997
- [j3]Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: 96-114 (1997)
- [j2]Ugo Montanari, Marco Pistore: An Introduction to History Dependent Automata. Electr. Notes Theor. Comput. Sci. 10: 170-188 (1997)
- [c6]Ugo Montanari, Marco Pistore: Minimal Transition Systems for History-Preserving Bisimulation. STACS 1997: 413-425
- [c5]Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
- 1996
- [c4]Marco Pistore, Davide Sangiorgi: A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract). CAV 1996: 38-49
- [c3]Ugo Montanari, Marco Pistore, Daniel Yankelevich: Efficient Minimization up to Location Equivalence. ESOP 1996: 265-279
- [c2]Flavio Corradini, Marco Pistore: Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290
- 1995
- [j1]Ugo Montanari, Marco Pistore: Concurrent semantics for the pi-calculus. Electr. Notes Theor. Comput. Sci. 1: 411-429 (1995)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:55 CEST by the dblp team