| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Pistore, Moshe Y. Vardi |
The Planning Spectrum - One, Two, Three, Infinity  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Asli Zengin, Annapaola Marconi, Marco Pistore |
CLAM: cross-layer adaptation manager for service-based applications. |
QASBA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Adina Sirbu |
A Context-Aware Framework for Business Processes Evolution. |
EDOCW |
2011 |
DBLP DOI BibTeX RDF |
Context-awareness, Evolution, Business Processes |
| 1 | Asli Zengin, Annapaola Marconi, Luciano Baresi, Marco Pistore |
CLAM: Managing cross-layer adaptation in service-based systems. |
SOCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Marco Pistore, Heorhi Raik, Raman Kazhamiakin |
Adaptation of service-based business processes by context-aware replanning. |
SOCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asli Zengin, Raman Kazhamiakin, Marco Pistore |
CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adina Sirbu, Annapaola Marconi, Marco Pistore, Hanna Eberle, Frank Leymann, Tobias Unger |
Dynamic Composition of Pervasive Process Fragments. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Marco Pistore, Paolo Traverso |
Automated composition of Web services via planning in asynchronous domains. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik |
Modelling and Automated Composition of User-Centric Services. |
OTM Conferences |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
verification, monitoring, service-oriented computing |
| 1 | Tanja Zseby, Reijo Savola, Marco Pistore (eds.) |
Future Internet - FIS 2009, Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 |
FIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
user centric, service oriented systems |
| 1 | Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore, Matthias Wagner |
Use-Based Discovery of Pervasive Services. |
AIMSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso |
Task decomposition on abstract states, for planning under nondeterminism. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore |
A Formalisation of Adaptable Pervasive Flows. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner |
Continuous Orchestration of Web Services via Planning. |
ICAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore, Asli Zengin |
Cross-Layer Adaptation and Monitoring of Service-Based Applications. |
ICSOC/ServiceWave Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annapaola Marconi, Marco Pistore, Adina Sirbu, Hanna Eberle, Frank Leymann, Tobias Unger |
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Annapaola Marconi, Marco Pistore |
Synthesis and Composition of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner |
Control Flow Requirements for Automated Service Composition. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti |
Dynamo + Astro: An Integrated Approach for BPEL Monitoring. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Paolo Traverso, Massimo Paolucci, Matthias Wagner |
From Software Services to a Future Internet of Services. |
Future Internet Assembly |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Annapaola Marconi, Marco Pistore, Paolo Traverso |
Automated Composition of Web Services: the ASTRO Approach. |
IEEE Data Eng. Bull. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Andreas Metzger, Marco Pistore |
Towards Correctness Assurance in Adaptive Service-Based Applications. |
ServiceWave |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore |
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. |
ServiceWave |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Hielscher, Raman Kazhamiakin, Andreas Metzger, Marco Pistore |
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. |
ServiceWave |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso |
Semantic Annotation for Web Service Processes. |
SEBD |
2008 |
DBLP BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner |
Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. |
FIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto |
History Dependent Automata for Service Compatibility. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Shaparau, Marco Pistore, Paolo Traverso |
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
AIMSA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marco Pistore, Moshe Y. Vardi |
The Planning Spectrum - One, Two, Three, Infinity. |
J. Artif. Intell. Res. (JAIR) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso |
Web Service Discovery at Process-level Based on Semantic Annotation. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco Pistore, Paolo Traverso |
Assumption-Based Composition and Monitoring of Web Services. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing (eds.) |
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007 |
Autonomous and Adaptive Web Services |
2007 |
DBLP BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz |
Design and Analysis of the Composed Telecom Services. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Traverso, Marco Pistore |
Agree or Change! Making Services Evolve. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso |
AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore |
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz |
Design and Verification ofWeb Services Compositions in the Telecommunication Domain. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore |
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore |
Analysis of Realizability Conditions for Web Service Choreographies. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Annapaola Marconi, Marco Pistore, Paolo Traverso |
Specifying Data-Flow Requirements for the Automated Composition of Web Services. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore |
Stong Cyclic Planning Under Partial Observability. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Pistore, Luca Spalazzi, Paolo Traverso |
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore |
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Marco Pistore, Paolo Traverso |
Automated Web Service Composition by On-the-Fly Belief Space Search. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore |
Towards Strong Cyclic Planning under Partial Observability. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti |
Run-Time Monitoring of the Execution of Plans for Web Service Composition. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Pistore, Luca Spalazzi, Paolo Traverso |
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. |
SEBD |
2006 |
DBLP BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore, Luca Santuari |
Analysis of communication models in web service compositions. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
formal verification, BPEL, web service composition, asynchronous communications |
| 1 | Annapaola Marconi, Marco Pistore, Paolo Traverso |
Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. |
ICSOC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore |
Timed Modelling and Analysis in Web Service Compositions. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore |
Static Verification of Control and Data inWeb Service Compositions. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore |
Representation, Verification, and Computation of Timed Properties in Web. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti |
Run-Time Monitoring of Instances and Classes of Web Service Compositions. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Shaparau, Marco Pistore, Paolo Traverso |
Contingent Planning with Goal Preferences. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ugo Montanari, Marco Pistore |
Structured coalgebras and minimal HD-automata for the pi-calculus. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Gotsman, Fabio Massacci, Marco Pistore |
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso |
Automated Composition of Web Services by Planning at the Knowledge Level. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Pistore, Pierluigi Roberti, Paolo Traverso |
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso |
A Hierarchical Task-Network Planner based on Symbolic Model Checking. |
ICAPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli |
Automated Composition of Web Services by Planning in Asynchronous Domains. |
ICAPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
business processes, web service composition, automated synthesis |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Marco Pistore |
History-Dependent Automata: An Introduction. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi |
Automated Synthesis of Composite BPEL4WS Web Services. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore |
A Parametric Communication Model for the Verification of BPEL4WS Compositions. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aliaksei Novikau, Anna Perini, Marco Pistore |
Graph Rewriting for Agent Oriented Visual Modeling. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Marco Roveri, Paolo Busetta |
Requirements-Driven Verification of Web Services. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
Formal Verification of Requirements using SPIN: A Case Study on Web Services. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Marco Pistore |
Planning with Extended Goals and Partial Observability. |
ICAPS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
A Framework for Integrating Business Processes and Business Requirements. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Traverso, Marco Pistore |
Automated Composition of Semantic Web Services into Executable Processes. |
International Semantic Web Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso |
Planning and Monitoring Web Service Composition. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore |
A model-checking verification environment for mobile processes. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
Name-passing process calculi, security, modal logics, transition systems, mobile processes |
| 1 | Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso |
Weak, strong, and strong cyclic planning via symbolic model checking. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso |
A Framework for Planning with Extended Goals under Partial Observability. |
ICAPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos |
Specifying and Analyzing Early Requirements: Some Experimental Results. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi |
Agent-Oriented Modeling by Interleaving Formal and Informal Specification. |
AOSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Moshe Y. Vardi |
The Planning Spectrum - One, Two, Three, Infinity. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike P. Papazoglou, Marco Aiello, Marco Pistore, Jian Yang |
Planning for Requests against Web Services. |
IEEE Data Eng. Bull. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
Integrating BDD-Based and SAT-Based Symbolic Model Checking. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani |
Improving the Encoding of LTL Model Checking into SAT. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Ugo Montanari, Marco Pistore |
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Marco Pistore, Paolo Traverso |
Planning with a Language for Extended Goals. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Gian Luigi Ferrari, Marco Pistore |
On the semantics of durational actions. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Marco Pistore |
`Closed Interval Process Algebra' versus `Interval Process Algebra'. |
Acta Inf. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marco Pistore, Davide Sangiorgi |
A Partition Refinement Algorithm for the -Calculus. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")