Search the dblp DataBase
Antonio Brogi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira An Evolving Agent with EVOLP. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 2003, pp:205-216 [Conf ] Antonio Brogi , Simone Contiero Specialising Meta-level Compositions of Logic Programs. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1996, pp:535-548 [Conf ] Antonio Brogi , G. Marongiu ExpertFinder: A Prolog Recommender System Integrated with the WWW. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1999, pp:471-484 [Conf ] Antonio Brogi , Chiara Renso , Franco Turini Amalgamating Language and Meta-language for Composing Logic Programs. [Citation Graph (0, 0)][DBLP ] GULP-PRODE (2), 1994, pp:408-422 [Conf ] Antonio Brogi , Evelina Lamma , Paolo Mancarella , Paola Mello Abductive Reasoning in a Multi-Theory Framework. [Citation Graph (0, 0)][DBLP ] AI*IA, 1991, pp:137-146 [Conf ] Antonio Brogi , Carlos Canal , Ernesto Pimentel Behavioural Types and Component Adaptation. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:42-56 [Conf ] Andrea Bracciali , Antonio Brogi , Carlos Canal Adapting Components with Mismatching Behaviours. [Citation Graph (0, 0)][DBLP ] Component Deployment, 2002, pp:185-199 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira Logic Programming for Evolving Agents. [Citation Graph (0, 0)][DBLP ] CIA, 2003, pp:281-297 [Conf ] Antonio Brogi , Simone Contiero , Franco Turini On the Interplay between Reactivity and Computation. [Citation Graph (0, 0)][DBLP ] CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:66-0 [Conf ] José Júlio Alferes , Federico Banti , Antonio Brogi From Logic Programs Updates to Action Description Updates. [Citation Graph (0, 0)][DBLP ] CLIMA V, 2004, pp:52-77 [Conf ] Antonio Brogi , Evelina Lamma , Paolo Mancarella , Paola Mello Normal logic programs as open positive programs. [Citation Graph (0, 0)][DBLP ] CNKBS, 1992, pp:9-11 [Conf ] Andrea Bracciali , Antonio Brogi , Carlos Canal Dynamically Adapting the Behaviour of Software Components. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2002, pp:88-95 [Conf ] Antonio Brogi , Carlos Canal , Ernesto Pimentel Measuring Component Adaptation. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2004, pp:71-86 [Conf ] Antonio Brogi , Jean-Marie Jacquet Modeling Coordination via Asynchronous Communication. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1997, pp:238-255 [Conf ] Antonio Brogi , Jean-Marie Jacquet On the Expressiveness of Coordination Models. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1999, pp:134-149 [Conf ] Jean-Marie Jacquet , Koenraad De Bosschere , Antonio Brogi On Timed Coordination Languages. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2000, pp:81-98 [Conf ] Steffen Becker , Antonio Brogi , Ian Gorton , Sven Overhage , Alexander Romanovsky , Massimo Tivoli Towards an Engineering Approach to Component Adaptation. [Citation Graph (0, 0)][DBLP ] Architecting Systems with Trustworthy Components, 2004, pp:193-215 [Conf ] Antonio Brogi , Evelina Lamma , Paola Mello Inheritance and Hypothetical Reasoning in Logic Programming. [Citation Graph (0, 0)][DBLP ] ECAI, 1990, pp:105-110 [Conf ] Antonio Brogi , Evelina Lamma , Paola Mello ATMS for Implementing Logic Programming. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:114-118 [Conf ] Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini Universal Quantification by Case Analysis. [Citation Graph (0, 0)][DBLP ] ECAI, 1990, pp:111-116 [Conf ] Antonio Brogi , Cosimo Guarino Pruning the Search Space of Logic Programs. [Citation Graph (0, 0)][DBLP ] ELP, 1996, pp:35-49 [Conf ] Antonio Brogi , Evelina Lamma , Paola Mello Open Logic Theories. [Citation Graph (0, 0)][DBLP ] ELP, 1991, pp:73-88 [Conf ] Antonio Brogi , Franco Turini Metalogic for State Oriented Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:187-204 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira An Evolvable Rule-Based E-mail Agent. [Citation Graph (0, 0)][DBLP ] EPIA, 2003, pp:394-408 [Conf ] Federico Banti , José Júlio Alferes , Antonio Brogi Operational Semantics for DyLPs. [Citation Graph (0, 0)][DBLP ] EPIA, 2005, pp:43-54 [Conf ] Federico Banti , José Júlio Alferes , Antonio Brogi Well Founded Semantics for Logic Program Updates. [Citation Graph (0, 0)][DBLP ] IBERAMIA, 2004, pp:397-407 [Conf ] Antonio Brogi AND-Parallelism without Shared Variables. [Citation Graph (0, 0)][DBLP ] ICLP, 1990, pp:306-321 [Conf ] Antonio Brogi , Roberto Gorrieri Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. [Citation Graph (0, 0)][DBLP ] ICLP, 1989, pp:637-652 [Conf ] Antonio Brogi , Evelina Lamma , Paolo Mancarella , Paola Mello Normal Logic Programs as Open Positive Programs. [Citation Graph (0, 0)][DBLP ] JICSLP, 1992, pp:783-797 [Conf ] Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini Theory Construction in Computational Logic. [Citation Graph (0, 0)][DBLP ] ICLP Workshop on Construction of Logic Programs, 1991, pp:241-250 [Conf ] Antonio Brogi , Sara Corfini , José F. Aldana , Ismael Navas Delgado Automated Discovery of Compositions of Services Described with Separate Ontologies. [Citation Graph (0, 0)][DBLP ] ICSOC, 2006, pp:509-514 [Conf ] Antonio Brogi , Razvan Popescu Towards Semi-automated Workflow-Based Aggregation of Web Services. [Citation Graph (0, 0)][DBLP ] ICSOC, 2005, pp:214-227 [Conf ] Antonio Brogi , Razvan Popescu Automated Generation of BPEL Adapters. [Citation Graph (0, 0)][DBLP ] ICSOC, 2006, pp:27-39 [Conf ] José Júlio Alferes , Federico Banti , Antonio Brogi An Event-Condition-Action Logic Programming Language. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:29-42 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira Evolving Logic Programs. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:50-61 [Conf ] Antonio Brogi , Franco Turini Metalogic for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] KR, 1991, pp:61-69 [Conf ] Antonio Brogi , Franco Turini Semantics of Meta-Logic in an Algebra of Programs [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:262-270 [Conf ] Antonio Brogi , Simone Contiero Gödel as a Meta-Language for Composing Logic Programs. [Citation Graph (0, 0)][DBLP ] META, 1994, pp:377-394 [Conf ] Antonio Brogi On the Semantics of Logic Program Composition. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:115-151 [Conf ] Antonio Brogi , Simone Contiero Specialising Meta-level Compositions of Logic Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1996, pp:275-294 [Conf ] Antonio Brogi , Simone Contiero , Franco Turini The Use of Renaming in Composing General Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1998, pp:124-142 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira Computing Environment-Aware Agent Behaviours with Logic Program Updates. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2001, pp:216-232 [Conf ] Antonio Brogi , Evelina Lamma , Paola Mello Objects in a Logic Programming Framework. [Citation Graph (0, 0)][DBLP ] RCLP, 1991, pp:102-113 [Conf ] José Júlio Alferes , Federico Banti , Antonio Brogi , João Alexandre Leite Semantics for Dynamic Logic Programming: A Principle-Based Approach. [Citation Graph (0, 0)][DBLP ] LPNMR, 2004, pp:8-20 [Conf ] Federico Banti , José Júlio Alferes , Antonio Brogi , Pascal Hitzler The Well Supported Semantics for Multidimensional Dynamic Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:356-368 [Conf ] Antonio Brogi , Simone Contiero , Franco Turini Composing General Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 1997, pp:274-289 [Conf ] Antonio Brogi , Evelina Lamma , Paolo Mancarella , Paola Mello An Abductive Framework for Extended Logic Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 1995, pp:330-343 [Conf ] Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini Meta for Modularising Logic Programming. [Citation Graph (0, 0)][DBLP ] META, 1992, pp:105-119 [Conf ] Antonio Brogi , Gianluca Caruso From Subject Directories to Subject Meta-directories via Declarative Programming. [Citation Graph (0, 0)][DBLP ] PADL, 2001, pp:45-59 [Conf ] Andrea Bracciali , Antonio Brogi , Gian Luigi Ferrari , Emilio Tuosto Security and Dynamic Compositions of Open Systems. [Citation Graph (0, 0)][DBLP ] PDPTA, 2002, pp:1372-1377 [Conf ] Antonio Brogi , A. Chiarelli , Paolo Mancarella , V. Mazzotta , Dino Pedreschi , Chiara Renso , Franco Turini Implementations of Program Composition Operations. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:292-307 [Conf ] Antonio Brogi , Maurizio Gabbrielli Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. [Citation Graph (0, 0)][DBLP ] PLILP, 1991, pp:407-418 [Conf ] Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini Logic Programming within a Functional Framework. [Citation Graph (0, 0)][DBLP ] PLILP, 1990, pp:372-386 [Conf ] Andrea Bracciali , Antonio Brogi , Franco Turini Coordinating interaction patterns. [Citation Graph (0, 0)][DBLP ] SAC, 2001, pp:159-165 [Conf ] Antonio Brogi , Sara Corfini , Razvan Popescu Composition-Oriented Service Discovery. [Citation Graph (0, 0)][DBLP ] Software Composition, 2005, pp:15-30 [Conf ] Antonio Brogi , Roberto Gorrieri A Distributed, Net Oriented Semantics for Delta Prolog. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1989, pp:162-177 [Conf ] Clara Baracchini , Antonio Brogi , Marco Callieri , Lucia Capitani , Paolo Cignoni , Andrea Fasano , Claudio Montani , C. Nenci , R. P. Novello , Paolo Pingi , Federico Ponchio , Roberto Scopigno Digital reconstruction of the Arrigo VII funerary complex. [Citation Graph (0, 0)][DBLP ] VAST, 2004, pp:145-154 [Conf ] Antonio Brogi , Razvan Popescu From BPEL Processes to YAWL Workflows. [Citation Graph (0, 0)][DBLP ] WS-FM, 2006, pp:107-122 [Conf ] Antonio Brogi , V. S. Subrahmanian , Carlo Zaniolo The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1997, v:19, n:1-2, pp:27-58 [Journal ] Antonio Brogi , Chiara Renso , Franco Turini Dynamic composition of parameterised logic modules. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1999, v:25, n:4, pp:211-242 [Journal ] Antonio Brogi Probabilistic behaviours of reactive agents. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal ] Antonio Brogi , Nadia Busi , Maurizio Gabbrielli , Gianluigi Zavattaro Comparative analysis of the expressiveness of shared dataspace coordination. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal ] Antonio Brogi , Carlos Canal , Ernesto Pimentel Soft component adaptation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal ] Antonio Brogi , Carlos Canal , Ernesto Pimentel On the specification of software adaptation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:47-65 [Journal ] Antonio Brogi , Carlos Canal , Ernesto Pimentel , Antonio Vallecillo Formalizing Web Service Choreographies. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:73-94 [Journal ] Andrea Bracciali , Antonio Brogi , Carlos Canal Systematic Component Adaptation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal ] Andrea Bracciali , Antonio Brogi , Gian Luigi Ferrari , Emilio Tuosto Security Issues in Component-based Design. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal ] Antonio Brogi , Jean-Marie Jacquet Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal ] Antonio Brogi , Jean-Marie Jacquet On the Expressiveness of Linda-like Concurrent Languages. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal ] Antonio Brogi , Jean-Marie Jacquet , Isabelle Linden On Modeling Coordination via Asynchronous Communication and Enhanced Matching. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal ] Antonio Brogi , Jean-Marie Jacquet , Ernesto Pimentel Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:1-2 [Journal ] Antonio Brogi , Ernesto Pimentel Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal ] Antonio Brogi , Ernesto Pimentel , Ana M. Roldán Compatibility of Linda-based Component Interfaces. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal ] Isabelle Linden , Jean-Marie Jacquet , Koenraad De Bosschere , Antonio Brogi On the Expressiveness of Relative-Timed Coordination Models. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:125-153 [Journal ] Ana M. Roldán , Ernesto Pimentel , Antonio Brogi Safe Composition of Linda-based Components. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal ] Antonio Brogi , Jean-Marie Jacquet , Joost N. Kok Foundations on Coordination Languages and Software Architectures. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:73, n:4, pp:- [Journal ] Antonio Brogi , Jean-Marie Jacquet , Isabelle Linden Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:73, n:4, pp:431-478 [Journal ] Antonio Brogi , Anna Ciampolini , Evelina Lamma , Paola Mello The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1992, v:42, n:6, pp:331-338 [Journal ] Antonio Brogi , Evelina Lamma , Paola Mello Hypothetical Reasoning in Logic Programming: A Semantic Approach. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1990, v:36, n:6, pp:285-291 [Journal ] Antonio Brogi , Patricia M. Hill Special Issue on Logical Formalisms for Program Composition - Editorial. [Citation Graph (0, 0)][DBLP ] Journal of Functional and Logic Programming, 2000, v:2000, n:2, pp:- [Journal ] Antonio Brogi , V. S. Subrahmanian , Carlo Zaniolo A Deductive Database Approach to A.I. Planning. [Citation Graph (0, 0)][DBLP ] J. Intell. Inf. Syst., 2003, v:20, n:3, pp:215-253 [Journal ] Andrea Bracciali , Antonio Brogi , Franco Turini A framework for specifying and verifying the behaviour of open systems. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2005, v:63, n:2, pp:215-240 [Journal ] Antonio Brogi , Roberto Gorrieri Distributed Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1993, v:15, n:4, pp:295-335 [Journal ] Andrea Bracciali , Antonio Brogi , Carlos Canal A formal approach to component adaptation. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2005, v:74, n:1, pp:45-54 [Journal ] Antonio Brogi , Simone Contiero , Franco Turini Programming by Combining General Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1999, v:9, n:1, pp:7-24 [Journal ] Antonio Brogi , Evelina Lamma , Paola Mello Composing Open Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1993, v:3, n:4, pp:417-439 [Journal ] Antonio Brogi , Simone Contiero A Program Specialiser for Meta-Level Compositions of Logic Programs. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1998, v:16, n:2, pp:123-161 [Journal ] Antonio Brogi , Evelina Lamma , Paola Mello Compositional Model-Theoretic Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1992, v:11, n:1, pp:1-21 [Journal ] José Júlio Alferes , Federico Banti , Antonio Brogi , João Alexandre Leite The Refined Extension Principle for Semantics of Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2005, v:79, n:1, pp:7-32 [Journal ] Antonio Brogi , Carlos Canal , Ernesto Pimentel Component adaptation through flexible subservicing. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:63, n:1, pp:39-56 [Journal ] Antonio Brogi , Carlos Canal , Ernesto Pimentel On the semantics of software adaptation. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:61, n:2, pp:136-151 [Journal ] Antonio Brogi , Jean-Marie Jacquet On the expressiveness of coordination via shared dataspaces. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2003, v:46, n:1-2, pp:71-98 [Journal ] Antonio Brogi , Jean-Marie Jacquet , Jeff Kramer , Ernesto Pimentel Preface. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:61, n:2, pp:73-74 [Journal ] Isabelle Linden , Jean-Marie Jacquet , Koen De Bosschere , Antonio Brogi On the expressiveness of timed coordination models. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:61, n:2, pp:152-187 [Journal ] Antonio Brogi , Evelina Lamma , Paolo Mancarella , Paola Mello A Unifying View for Logic Programming with Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:184, n:1-2, pp:1-5 [Journal ] Antonio Brogi , Alessandra Di Pierro , Herbert Wiklicky Linear Embedding for a Quantitative Comparison of Language Expressiveness. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal ] Antonio Brogi , Franco Turini Fully Abstract Composition Semantics for an Algebra of Logic Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:149, n:2, pp:201-209 [Journal ] Antonio Brogi , Paolo Ciancarini The Concurrent Language, Shared Prolog. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1991, v:13, n:1, pp:99-123 [Journal ] Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini Modular Logic Programming. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:4, pp:1361-1398 [Journal ] Fabrizio Benigni , Antonio Brogi , Sara Corfini Discovering Service Compositions That Feature a Desired Behaviour. [Citation Graph (0, 0)][DBLP ] ICSOC, 2007, pp:56-68 [Conf ] Antonio Brogi , Sara Corfini SAM : A Semantic Web Service Discovery System. [Citation Graph (0, 0)][DBLP ] KES (3), 2007, pp:703-710 [Conf ] Filippo Bonchi , Antonio Brogi , Sara Corfini , Fabio Gadducci A Behavioural Congruence for Web Services. [Citation Graph (0, 0)][DBLP ] FSEN, 2007, pp:240-256 [Conf ] Antonio Brogi , Sara Corfini , José F. Aldana , Ismael Navas Delgado A Prototype for Discovering Compositions of Semantic Web Services. [Citation Graph (0, 0)][DBLP ] SWAP, 2006, pp:- [Conf ] Antonio Brogi , Javier Cámara , Carlos Canal , Javier Cubo , Ernesto Pimentel Dynamic Contextual Adaptation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:81-95 [Journal ] Antonio Brogi , Carlos Canal , Ernesto Pimentel Behavioural Types for Service Integration: Achievements and Challenges. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:41-54 [Journal ] Antonio Brogi , Jean-Marie Jacquet , Ernesto Pimentel Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:1-2 [Journal ] Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. [Citation Graph (, )][DBLP ] From OWL-S Descriptions to Petri Nets. [Citation Graph (, )][DBLP ] A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. [Citation Graph (, )][DBLP ] Tailoring service discovery to embedded P2P systems. [Citation Graph (, )][DBLP ] Secure P2P Programming on Top of Tuple Spaces. [Citation Graph (, )][DBLP ] Workflow Semantics of Peer and Service Behaviour. [Citation Graph (, )][DBLP ] Discovering service compositions that feature a desired behaviour. [Citation Graph (, )][DBLP ] Modelado de sistemas P2P con control de excepciones. [Citation Graph (, )][DBLP ] Software composition with Linda. [Citation Graph (, )][DBLP ] A Service-Oriented Model for Embedded Peer-to-Peer Systems. [Citation Graph (, )][DBLP ] Search in 0.011secs, Finished in 0.017secs