alberto.bib revision f7f399037e1ad094f8373f609c687e847510fda1
%% This BibTeX bibliography file was created using BibDesk.
%% Created for Adrián Riesco at 2010-10-18 11:41:27 +0200
%% Saved with string encoding Unicode (UTF-8)
@article{caslInst02,
Address = {Essex, UK},
Author = {Till Mossakowski},
Date-Modified = {2010-10-25 15:45:53 +0200},
Issn = {0304-3975},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {367--475},
Publisher = {Elsevier},
Title = {Relating \textsc{Casl} with other specification languages: the institution level},
Volume = {286},
Year = {2002}}
@book{categories-book,
Author = {Benjamin C. Pierce},
Date-Added = {2010-10-08 15:17:37 +0200},
Date-Modified = {2010-10-08 15:18:39 +0200},
Publisher = {The {MIT} Press},
Title = {Basic Category Theory for Computer Scientists},
Year = {1991}}
@incollection{Tarlecki99,
Author = {A. Tarlecki},
Booktitle = {Algebraic Foundations of Systems Specifications},
Date-Modified = {2010-10-08 15:17:30 +0200},
Editor = {E.~Astesiano and H.-J.~Kreowski and B.~Krieg--Br\"uckner},
Pages = {105--130},
Publisher = {Springer},
Title = {Institutions: An abstract framework for formal specifications},
Year = {1999}}
@book{institutions-book,
Date-Added = {2010-10-08 15:03:22 +0200},
Date-Modified = {2010-10-08 15:04:48 +0200},
Editor = {E.~Astesiano and H.-J.~Kreowski and B.~Krieg--Br\"uckner},
Publisher = {Springer},
Title = {Algebraic Foundations of Systems Specifications},
Year = {1999}}
@mastersthesis{kuhl10,
Author = {Martin K{\"u}hl},
Date-Modified = {2010-10-07 11:46:19 +0200},
School = {Universit{\"a}t Bremen},
Title = {Integrating {Maude} into {Hets}},
Year = {2010}}
@inproceedings{minisat,
Author = {Niklas Een and Niklas S{\"o}rensson},
Booktitle = {Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003, Selected Revised Papers},
Date-Added = {2010-09-02 10:31:34 +0200},
Date-Modified = {2010-09-02 10:33:00 +0200},
Editor = {E. Giunchiglia and A. Tacchella},
Pages = {502--518},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {An Extensible {SAT}-solver},
Volume = {2919},
Year = {2004}}
@article{vse,
Author = {Serge Autexier and Dieterr Hutter and Bruno Langenstein and Heiko Mantel and Georg Rock and Axel Schairer and Werner Stephan and Roland Vogt and Andreas Wolpers},
Date-Added = {2010-09-02 10:19:17 +0200},
Date-Modified = {2010-09-02 10:20:00 +0200},
Journal = {International Journal on Software Tools for Technology Transfer},
Number = {1},
Pages = {66-77},
Title = {{VSE:} formal methods meet industrial needs},
Volume = {3},
Year = {2009}}
@inproceedings{spass35,
Author = {Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski},
Booktitle = {Proceedings of the 22nd International Conference on Automated Deduction, CADE 2009},
Date-Added = {2010-09-02 10:10:52 +0200},
Date-Modified = {2010-09-02 10:13:28 +0200},
Editor = {Renate A. Schmidt},
Pages = {140-145},
Publisher = {Springer},
Series = {Lecture Notes in Artificial Intelligence},
Title = {{SPASS} Version 3.5},
Volume = {5663},
Year = {2009}}
@mastersthesis{darwin,
Author = {Alexander Fuchs},
School = {University of Koblenz-Landau},
Title = {{D}arwin: {A} {T}heorem {P}rover for the {M}odel {E}volution {C}alculus},
Year = {2004}}
@inproceedings{vampire,
Author = {Dmitry Tsarkov and Alexandre Riazanov and Sean Bechhofer and Ian Horrocks},
Booktitle = {Proceedings of the 3rd International Semantic Web Conference (ISWC 2004)},
Date-Added = {2010-09-01 17:28:07 +0200},
Date-Modified = {2010-09-01 17:30:32 +0200},
Editor = {Sheila A. McIlraith and Dimitris Plexousakis and Frank van Harmelen},
Pages = {471-485},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Using Vampire to Reason with {OWL}},
Volume = {3298},
Year = {2004}}
@book{IIMT,
Author = {Diaconescu, Razvan},
Isbn = {3764387076, 9783764387075},
Publisher = {Birkh\"{a}user Basel},
Title = {Institution-independent Model Theory},
Year = {2008}}
@book{Reichel87,
Address = {New York, NY, USA},
Author = {Reichel, Horst},
Isbn = {0-198-53806-5},
Publisher = {Oxford University Press, Inc.},
Title = {Initial computability, algebraic specifications, and partial algebras},
Year = {1987}}
@book{Bidoit:2004:CASL-UM-short,
Annote = {Illustrates and discusses how to write \textsc{Casl} specifications,
with additional chapters on foundations, tools, and libraries, a
realistic case study, and a quick-reference overview of \textsc{Casl}.},
Author = {Michel Bidoit and Peter D. Mosses},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {\CASL User Manual},
Volume = {2900},
Year = {2004}}
@book{CoFI:2004:CASL-RM,
Date-Modified = {2010-10-18 11:41:27 +0200},
Editor = {Peter Mosses},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {\textsc{Casl} Reference Manual},
Volume = {2960},
Year = {2004}}
@inproceedings{zchaff,
Author = {Matthew W. Moskewicz and Conor F. Madigan},
Booktitle = {Proceedings of the 38th Design Automation Conference},
Pages = {530--535},
Publisher = {ACM Press},
Title = {Chaff: Engineering an Efficient {SAT} Solver},
Year = {2001}}
@article{BouhoulaJM00,
Author = {Adel Bouhoula and Jean-Pierre Jouannaud and Jos{\'e} Meseguer},
Bibsource = {DBLP, http://dblp.uni-trier.de},
Ee = {http://dx.doi.org/10.1016/S0304-3975(99)00206-6},
Journal = {Theor. Comput. Sci.},
Number = {1-2},
Pages = {35-132},
Title = {Specification and proof in membership equational logic},
Volume = {236},
Year = {2000}}
@article{GoguenBurstall92,
Author = {J. A. Goguen and R. M. Burstall},
Journal = {Journal of the Association for Computing Machinery},
Pages = {95--146},
Title = {Institutions: Abstract Model Theory for Specification and Programming},
Volume = 39,
Year = 1992}
@inproceedings{MossakowskiEA06,
Author = {Till Mossakowski and Christian Maeder and Klaus L{\"u}ttich},
Booktitle = {TACAS 2007},
Editor = {Orna Grumberg and Michael Huth},
Keywords = {proof heterogeneity logic institution prover theorem integration development graph},
Pages = {519--522},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Status = {Reviewed},
Title = {The {H}eterogeneous {T}ool {S}et},
Volume = {4424},
Year = {2007}}
@article{MAH-05-a,
Author = {Mossakowski, Till and Autexier, Serge and Hutter, Dieter},
Journal = {Journal of Logic and Algebraic Programming, special issue on Algebraic Specification and Development Techniques},
Number = {1-2},
Pages = {114-145},
Publisher = {Elsevier},
Title = {Development Graphs - Proof Management for Structured Specifications},
Volume = {67},
Year = {2006}}
@inproceedings{DBLP:conf/tphol/DixonF04,
Author = {Lucas Dixon and Jacques D. Fleuriot},
Bibsource = {DBLP, http://dblp.uni-trier.de},
Booktitle = {TPHOLs},
Crossref = {DBLP:conf/tphol/2004},
Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3223{\&}spage=83},
Pages = {83-98},
Title = {Higher Order Rippling in {IsaPlanner}},
Year = {2004}}
@proceedings{DBLP:conf/tphol/2004,
Bibsource = {DBLP, http://dblp.uni-trier.de},
Booktitle = {TPHOLs},
Editor = {Konrad Slind and Annette Bunker and Ganesh Gopalakrishnan},
Isbn = {3-540-23017-3},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
Volume = {3223},
Year = {2004}}
@inproceedings{ChurchRoss10,
Author = {Francisco Dur\'an and Jos\'e Meseguer},
Booktitle = {Proceedings of the 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010)},
Note = {To appear.},
Series = {Lecture Notes in Computer Science},
Title = {A {Church-Rosser} Checker Tool for Conditional Order-Sorted Equational {Maude} Specifications},
Year = {2010}}
@inproceedings{MTT08,
Author = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer},
Booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney, Australia, August 12-15},
Editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
Pages = {313-319},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{MTT}: The {M}aude {T}ermination {T}ool (System Description)},
Volume = {5195},
Year = {2008}}
@book{Isabelle02,
Author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
Bibsource = {DBLP, http://dblp.uni-trier.de},
Isbn = {3-540-43376-7},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{Isabelle/HOL} - A Proof Assistant for Higher-Order Logic},
Volume = {2283},
Year = {2002}}
@inproceedings{RVMC08-wadt,
Author = {Adri\'an Riesco and Alberto Verdejo and Rafael Caballero and Narciso Mart\'{\i}-Oliet},
Booktitle = {Recent Trends in Algebraic Development Techniques (WADT 2008)},
Date-Added = {2009-06-25 10:41:08 +0200},
Date-Modified = {2009-06-25 10:41:08 +0200},
Editor = {Andrea Corradini and Ugo Montanari},
Pages = {308-325},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Declarative Debugging of Rewriting Logic Specifications},
Volume = {5486},
Year = {2009}}
@inproceedings{CMORV08-wrla,
Author = {Rafael Caballero and Narciso Mart\'{\i}-Oliet and Adri\'an Riesco and Alberto Verdejo},
Booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008},
Date-Added = {2009-06-25 10:40:59 +0200},
Date-Modified = {2009-06-25 10:40:59 +0200},
Editor = {Grigore Ro\c{s}u},
Pages = {63-81},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A declarative debugger for {Maude} functional modules},
Volume = {238(3)},
Year = {2009},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.entcs.2009.05.013}}
@inproceedings{MOMV08,
Author = {Narciso Mart\'{\i}-Oliet and Jos{\'e} Meseguer and Alberto Verdejo},
Booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008},
Date-Added = {2009-06-25 10:40:59 +0200},
Date-Modified = {2009-06-25 10:40:59 +0200},
Editor = {Grigore Ro\c{s}u},
Number = {3},
Pages = {227-247},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A Rewriting Semantics for {Maude} Strategies},
Volume = {238(3)},
Year = {2009},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.entcs.2009.05.022}}
@inproceedings{amast08,
Author = {Adri\'an Riesco and Alberto Verdejo and Narciso Mart\'{\i}-Oliet and Rafael Caballero},
Booktitle = {Algebraic Methodology and Software Technology --- 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings},
Date-Added = {2008-08-03 12:02:44 +0200},
Date-Modified = {2008-08-03 12:02:44 +0200},
Editor = {Jos{\'e} Meseguer and Grigore Ro\c{s}u},
Pages = {116-121},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A declarative debugger for {Maude}},
Volume = {5140},
Year = {2008}}
@book{FieldHarrison,
Author = {A. J. Field and P. G. Harrison},
Date-Added = {2008-07-09 17:04:42 +0200},
Date-Modified = {2008-07-09 17:05:31 +0200},
Publisher = {Addison-Wesley},
Title = {Functional Programming},
Year = {1993}}
@inproceedings{CMORV08-ugo,
Author = {Rafael Caballero and Narciso Mart\'{\i}-Oliet and Adri\'an Riesco and Alberto Verdejo},
Booktitle = {Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},
Date-Added = {2008-04-16 04:44:15 +0200},
Date-Modified = {2009-01-19 12:51:40 +0100},
Editor = {Pierpaolo Degano and Rocco {De Nicola} and Jos{\'e} Meseguer},
Pages = {174-193},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Declarative debugging of membership equational logic specifications},
Volume = {5065},
Year = {2008}}
@techreport{debuggingTR08,
Author = {Adri\'an Riesco and Alberto Verdejo and Rafael Caballero and Narciso Mart\'{\i}-Oliet},
Date-Added = {2008-04-13 18:48:24 +0200},
Date-Modified = {2008-04-13 19:30:41 +0200},
Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid},
Note = {\url{http://maude.sip.ucm.es/debugging}},
Number = {SIC-6/08},
Title = {Declarative debugging of {Maude} modules},
Year = {2008}}
@inproceedings{CHKwflp06,
Author = {R. Caballero and C. Hermanns and H. Kuchen},
Booktitle = {15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain},
Date-Modified = {2009-01-23 14:34:38 +0100},
Editor = {Francisco Javier L\'opez-Fraguas},
Pages = {75-89},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Algorithmic Debugging of {Java} Programs},
Volume = {177},
Year = {2007}}
@article{Naish92,
Author = {Lee Naish},
Date-Added = {2008-03-11 14:19:57 +0100},
Date-Modified = {2008-03-11 14:19:57 +0100},
Journal = {New Generation Computing},
Number = {3},
Pages = {255-286},
Title = {Declarative Diagnosis of Missing Answers},
Volume = {10},
Year = {1992}}
@article{ClavelMeseguerPalomino07,
Author = {Manuel Clavel and Jos\'e Meseguer and Miguel Palomino},
Date-Added = {2008-01-22 10:34:44 +0100},
Date-Modified = {2008-01-22 10:36:53 +0100},
Journal = {Theoretical Computer Science},
Number = {1-2},
Pages = {70-91},
Title = {Reflection in membership equational logic, many-sorted equational logic, {H}orn logic with equality, and rewriting logic},
Volume = {373},
Year = {2007}}
@article{TakahashiOno90,
Author = {Naohisa Takahashi and Satoshi Ono},
Date-Added = {2008-01-24 12:45:03 +0100},
Date-Modified = {2008-01-24 12:48:55 +0100},
Journal = {Systems and Computers in Japan},
Number = {11},
Pages = {21-32},
Title = {{DDS}: A declarative debugging system for functional programs},
Volume = {21},
Year = {1990}}
@article{CominiLevi99,
Author = {M. Comini and G. Levi and M. C. Meo and G. Vitiello},
Date-Added = {2008-01-24 12:38:00 +0100},
Date-Modified = {2008-01-24 12:39:33 +0100},
Journal = {Journal of Logic Programming},
Number = {1-3},
Pages = {43-93},
Title = {Abstract Diagnosis},
Volume = {39},
Year = {1999}}
@inproceedings{ACEFL02,
Author = {Mar\'{\i}a Alpuente and Marco Comini and Santiago Escobar and Moreno Falaschi and Salvador Lucas},
Booktitle = {Logic Based Program Synthesis and Transformation},
Date-Modified = {2008-01-24 12:43:49 +0100},
Editor = {M. Leuschel},
Pages = {1-16},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Abstract Diagnosis of Functional Programs},
Volume = {2664},
Year = {2002}}
@techreport{debuggingTR07,
Author = {Rafael Caballero and Narciso Mart\'{\i}-Oliet and Adri\'an Riesco and Alberto Verdejo},
Date-Added = {2007-12-16 16:17:29 +0100},
Date-Modified = {2008-04-13 18:49:58 +0200},
Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid},
Note = {\url{http://maude.sip.ucm.es/debugging}},
Number = {SIC-4/07},
Title = {Declarative debugging of {Maude} functional modules},
Year = {2007}}
@incollection{mobile-maude-book,
Author = {Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott and Adri\'an Riesco and Alberto Verdejo},
Booktitle = {All About Maude: A High-Performance Logical Framework},
Chapter = {16},
Date-Added = {2007-09-30 20:55:34 +0200},
Date-Modified = {2007-10-01 17:40:22 +0200},
Pages = {485-522},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{Mobile Maude}},
Volume = {4350},
Year = {2007}}
@techreport{eden-tr,
Author = {Mercedes Hidalgo-Herrero and Alberto Verdejo and Yolanda Ortega-Mall\'en},
Date-Added = {2007-06-22 09:26:11 +0200},
Date-Modified = {2007-06-22 09:27:36 +0200},
Institution = {Departamento de Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},
Month = {April},
Number = {3-05},
Title = {Looking for {Eden} through {Maude} and its strategies},
Year = {2005}}
@book{IntroComp,
Author = {Narciso Mart\'{\i}-Oliet and Miguel Palomino and Alberto Verdejo},
Date-Added = {2007-05-28 16:39:16 -0500},
Date-Modified = {2007-05-28 16:40:34 -0500},
Publisher = {Anaya Educaci\'on},
Series = {Colecci\'on Base Universitaria},
Title = {Introducci\'on a la Computaci\'on},
Year = {2006}}
@techreport{obliq,
Author = {Luca Cardelli},
Date-Added = {2007-05-23 12:59:44 +0200},
Date-Modified = {2007-05-23 13:00:51 +0200},
Institution = {Systems Research Center},
Title = {{Obliq} - {A} Language with Distributed Scope},
Year = {1994},
Bdsk-Url-1 = {http://citeseer.ist.psu.edu/cardelli95obliq.html}}
@inproceedings{telescript,
Author = {Joseph Tardo and Luis Valenta},
Booktitle = {Proceedings of the 41st IEEE International Computer Conference},
Date-Added = {2007-05-23 12:51:30 +0200},
Date-Modified = {2007-05-24 00:15:02 -0500},
Pages = {58-63},
Publisher = {IEEE Computer Society},
Title = {Mobile agent security and {Telescript}},
Year = {1996}}
@inproceedings{unity-agents,
Author = {Gruia-Catalin Roman and Jamie Payton},
Booktitle = {Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings},
Date-Added = {2007-05-23 12:33:30 +0200},
Date-Modified = {2007-05-23 10:38:19 -0500},
Editor = {E. B{\"o}rger and A. Gargantini and E. Riccobene},
Pages = {126-150},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Mobile UNITY Schemas for Agent Coordination},
Volume = {2589},
Year = {2003}}
@techreport{unity-tr,
Author = {Jayadev Misra},
Date-Added = {2007-05-23 12:25:24 +0200},
Date-Modified = {2007-05-23 12:26:27 +0200},
Institution = {University of Texas at Austin},
Title = {A logic for concurrent programming},
Year = {1994},
Bdsk-Url-1 = {citeseer.ist.psu.edu/misra94logic.html}}
@inproceedings{unity98,
Author = {Gruia-Catalin Roman and Peter J. McCann},
Booktitle = {Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing Orlando, Florida, USA, March 30 -- April 3, 1998 Proceedings},
Date-Added = {2007-05-23 11:58:14 +0200},
Date-Modified = {2007-05-23 10:40:13 -0500},
Editor = {J. Rolim},
Pages = {871-880},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {An Introduction to Mobile {UNITY}},
Volume = {1388},
Year = {1998}}
@inproceedings{join-calculus,
Author = {C{\'e}dric Fournet and Georges Gonthier},
Booktitle = {Applied Semantics: Advanced Lectures},
Date-Added = {2007-05-23 11:25:41 +0200},
Date-Modified = {2007-05-23 10:42:24 -0500},
Editor = {G. Barthe and P. Dybjer and L. Pinto and J. Saraiva},
Pages = {268-332},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {The Join Calculus: A Language for Distributed Mobile Programming},
Volume = {2395},
Year = {2002}}
@inproceedings{haskskell,
Author = {Kevin Hammond and \'Alvaro J. {Reb\'on Portillo}},
Booktitle = {Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers},
Date-Added = {2007-05-23 10:24:54 +0200},
Date-Modified = {2007-05-24 00:11:29 -0500},
Editor = {Pieter Koopman and Chris Clack},
Pages = {181-198},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{HaskSkel}: Algorithmic Skeletons in Haskell},
Volume = {1868},
Year = {1999}}
@inproceedings{2nd-gen-sk,
Author = {Marco Danelutto},
Booktitle = {Parallel Computing: Current \& Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005},
Crossref = {parco2005},
Date-Added = {2007-05-22 17:28:29 +0200},
Date-Modified = {2007-05-22 15:48:22 -0500},
Pages = {803-811},
Title = {{``Second generation''} Skeleton Systems},
Volume = {33},
Year = {2005}}
@article{seal2005,
Author = {Giuseppe Castagna and Jan Vitek and Francesco {Zappa Nardelli}},
Date-Added = {2007-05-22 10:31:01 -0500},
Date-Modified = {2007-05-22 10:33:02 -0500},
Journal = {Information and Computation},
Pages = {1-54},
Title = {The {Seal} Calculus},
Volume = {201},
Year = {2005}}
@inproceedings{skelib,
Author = {Marco Danelutto and Massimiliano Stigliani},
Booktitle = {Euro-Par 2000 - Parallel Processing: 6th International Euro-Par Conference, Munich, Germany, August/September 2000. Proceedings},
Date-Added = {2007-05-22 16:04:38 +0200},
Date-Modified = {2007-05-22 16:11:22 -0500},
Editor = {Luc Bouge and Pierre Fraigniaud and Anne Mignotte and Yves Robert},
Pages = {1175-1184},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{SKElib}: Parallel Programming with Skeletons in {C}},
Volume = {1900},
Year = {2000}}
@inproceedings{ajanta,
Author = {Anand R. Tripathi and Neeran M. Karnik and Manish K. Vora and Tanvir Ahmed and Ram D. Singh},
Booktitle = {Proceedings of the 19th International Conference on Distributed Computing Systems (ICDCS '99)},
Date-Added = {2007-05-21 10:54:54 +0200},
Date-Modified = {2007-05-24 00:22:32 -0500},
Pages = {190-197},
Publisher = {IEEE Computer Society},
Title = {Mobile Agents Programming in {Ajanta}},
Year = {1999}}
@book{baader-nipkow,
Author = {Franz Baader and Tobias Nipkow},
Date-Added = {2007-05-18 16:13:30 +0200},
Date-Modified = {2007-05-18 16:14:25 +0200},
Publisher = {Cambridge University Press},
Title = {Term Rewriting and All That},
Year = {1998}}
@book{Mandelbrot04,
Author = {Benoit B. Mandelbrot},
Date-Added = {2007-05-13 16:38:33 -0500},
Date-Modified = {2007-05-13 16:39:14 -0500},
Publisher = {Springer},
Title = {Fractals and Chaos: The Mandelbrot Set and Beyond},
Year = {2004}}
@book{3dcomputer-graphics,
Author = {Samuel R. Buss},
Date-Added = {2007-05-11 17:51:45 +0200},
Date-Modified = {2007-05-11 17:53:27 +0200},
Publisher = {Cambridge University Press},
Title = {3-D Computer Graphics},
Year = {2003}}
@manual{wp-eigrp,
Author = {Cisco},
Date-Added = {2007-05-03 12:36:14 +0200},
Date-Modified = {2007-05-03 12:46:46 +0200},
Note = {\url{http://www.cisco.com/warp/public/103/eigrp-toc.html}},
Title = {White papers - Enhanced Interior Gateway Routing Protocol}}
@mastersthesis{lien-mscthesis,
Author = {Elisabeth Lien},
Date-Added = {2007-05-02 11:57:11 -0500},
Date-Modified = {2007-05-02 11:57:11 -0500},
Month = {April},
Note = {\url{http://wo.uio.no/as/WebObjects/theses.woa/wo/0.3.9}},
School = {Department of Linguistics, University of Oslo},
Title = {Formal modeling and analysis of the {NORM} multicast protocol in {Real-Time} {Maude}},
Year = {2004}}
@inproceedings{rhodos06,
Author = {Peter Csaba {\"O}lveczky and Stian Thorvaldsen},
Booktitle = {20th International Parallel and Distributed Processing Symposium, IPDPS 2006, Rhodes Island, Greece, April 2006},
Date-Added = {2007-05-02 11:56:47 -0500},
Date-Modified = {2007-05-02 11:56:47 -0500},
Publisher = {IEEE Computer Society Press},
Title = {Formal Modeling and Analysis of Wireless Sensor Network Algorithms in {Real-Time Maude}},
Year = {2006}}
@inproceedings{rm2004,
Address = {Toronto, Ontario, Canada},
Author = {S. Gutierrez-Nolasco and N. Venkatasubramanian and M.-O. Stehr and C. Talcott},
Booktitle = {Proceedings Third Workshop on Adaptive and Reflective Middleware (RM2004)},
Date-Added = {2007-05-02 11:44:03 -0500},
Date-Modified = {2007-05-02 11:44:03 -0500},
Month = {October 19,},
Pages = {232-237},
Publisher = {ACM Press},
Title = {Exploring Adaptability of Secure Group Communication using Formal Prototyping Techniques},
Year = {2004}}
@inproceedings{Mason-Talcott00,
Author = {Ian A. Mason and Carolyn L. Talcott},
Crossref = {Futatsugi00-wrla},
Date-Added = {2007-05-02 11:42:16 -0500},
Date-Modified = {2007-05-02 11:43:00 -0500},
Pages = {277-294},
Title = {Simple Network Protocol Simulation within {Maude}}}
@inproceedings{fmoods2000,
Author = {Jos{\'e} Meseguer},
Booktitle = {Proceedings {IFIP} Conference on Formal Methods for Open Object-Based Distributed Systems IV, {FMOODS} 2000, September 6--8, 2000, Stanford, California, USA},
Editor = {Scott F. Smith and Carolyn L. Talcott},
Pages = {89-117},
Publisher = {Kluwer Academic Publishers},
Title = {Rewriting Logic and {Maude}: {A} wide-spectrum semantic framework for object-based distributed systems},
Year = 2000}
@article{OlveczkyMeseguer07,
Author = {Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer},
Date-Added = {2007-05-02 10:52:07 -0500},
Date-Modified = {2007-05-02 10:53:30 -0500},
Journal = {Higher-Order and Symbolic Computation},
Pages = {161-196},
Title = {Semantics and pragmatics of {Real-Time Maude}},
Volume = {20},
Year = {2007}}
@techreport{eigrp-tr,
Author = {Adri\'an Riesco and Alberto Verdejo},
Date-Added = {2007-05-01 22:28:06 -0500},
Date-Modified = {2007-05-10 18:54:51 +0200},
Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid},
Number = {3/07},
Title = {The {EIGRP} Protocol in {Maude}},
Year = {2007}}
@manual{real-time-maude-manual,
Author = {Peter Csaba {\"O}lveczky},
Date-Added = {2007-04-30 13:48:01 +0200},
Date-Modified = {2007-05-03 11:03:43 -0500},
Note = {\url{http://heim.ifi.uio.no/~peterol/RealTimeMaude}},
Title = {Real-Time {Maude} 2.2 Manual},
Year = {2006}}
@manual{CDELMOMT05,
Author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott},
Date-Added = {2007-04-19 15:17:09 -0500},
Date-Modified = {2007-04-19 15:17:30 -0500},
Month = {December},
Note = {\url{http://maude.cs.uiuc.edu/maude2-manual}},
Title = {{Maude} Manual (Version 2.2)},
Year = {2005}}
@inproceedings{BragaVerdejo06,
Author = {Christiano Braga and Alberto Verdejo},
Booktitle = {Proceedings of the 3rd Workshop on Structural Operational Semantics (SOS 2006)},
Date-Added = {2007-04-17 09:40:48 -0500},
Date-Modified = {2007-05-27 16:10:43 -0500},
Editor = {Rob van Glabbeek and Peter D. Mosses},
Pages = {3-17},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Modular Structural Operational Semantics with Strategies},
Volume = {175},
Year = {2007}}
@inproceedings{RiescoVerdejo07,
Author = {Adri\'an Riesco and Alberto Verdejo},
Booktitle = {Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 5-8, 2007, Proceedings},
Date-Added = {2007-04-16 19:17:29 -0500},
Date-Modified = {2007-04-19 14:40:49 -0500},
Pages = {91-106},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Distributed applications implemented in {Maude} with parameterized skeletons},
Volume = {4468},
Year = {2007}}
@article{Plotkin04,
Author = {Gordon D. Plotkin},
Date-Added = {2007-03-27 19:14:32 +0200},
Date-Modified = {2007-03-27 19:15:56 +0200},
Journal = {Journal of Logic and Algebraic Programming},
Pages = {17-139},
Title = {A Structural Approach to Operational Semantics},
Volume = {60-61},
Year = {2004}}
@inproceedings{PenaSegura05,
Author = {Ricardo Pe{\~n}a and Clara Segura},
Booktitle = {Parallel Computing: Current \& Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005},
Crossref = {parco2005},
Date-Added = {2007-03-20 15:08:40 +0100},
Date-Modified = {2007-05-22 15:43:04 -0500},
Pages = {851-858},
Series = {NIC Series},
Title = {Reasoning About Skeletons in {Eden}},
Volume = {33},
Year = {2006}}
@article{OlveczkyMeseguerTalcott06,
Author = {Peter \"Olveczky and Jos{\'e} Meseguer and Carolyn Talcott},
Date-Added = {2007-03-20 14:56:13 +0100},
Date-Modified = {2007-03-20 14:58:46 +0100},
Journal = {Formal Methods in System Design},
Pages = {253-293},
Title = {Specification and Analysis of the {AER/NCA} Active Network Protocol Suite in {Real-Time Maude}},
Volume = {29},
Year = {2006}}
@inproceedings{HidalgoVerdejoOrtega06,
Author = {Mercedes Hidalgo-Herrero and Alberto Verdejo and Yolanda Ortega-Mall{\'e}n},
Booktitle = {Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006)},
Date-Added = {2007-02-23 14:19:27 +0100},
Date-Modified = {2007-07-01 12:39:40 +0200},
Editor = {Sergio Antoy},
Number = {10},
Pages = {119-137},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Using {Maude} and its strategies for defining a framework for analyzing {Eden} semantics},
Volume = {174},
Year = {2007}}
@book{GoguenMalcolm96,
Author = {Joseph A. Goguen and Grant Malcolm},
Publisher = {The {MIT} Press},
Title = {Algebraic Semantics of Imperative Programs},
Year = {1996}}
@inproceedings{KirchnerKirchnerVittek93,
Address = {Brown University, Providence, RI, USA},
Author = {Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Marian Vittek},
Booktitle = {Proceedings First Workshop on Principles and Practice of Constraint Programming},
Editor = {P. Kanellakis and J.-L. Lassez and V. Saraswat},
Pages = {166-175},
Title = {Implementing Computational Systems with Constraints},
Year = 1993}
@article{2OBJ-92,
Author = {Joseph Goguen and Andrews Stevens and Keith Hobley and Hendrick Hilberdink},
Journal = {Philosophical Transactions of the Royal Society, Series A},
Pages = {69--86},
Title = {{2OBJ}, a metalogical framework based on equational logic},
Volume = 339,
Year = 1992}
@incollection{KKM-2000,
Author = {Kirchner, Claude and Kirchner, H\'{e}l\`{e}ne and M\'{e}grelis, Aristide},
Booktitle = {Software Engineering with OBJ: Algebraic Specification in Action},
Chapter = 6,
Editor = {Goguen, Joseph A. and Malcolm, Grant},
Pages = {307--330},
Publisher = {Kluwer Academic Publishers, Boston},
Series = {Advances in Formal Methods},
Title = {{OBJ} for {OBJ}},
Volume = 2,
Year = 2000}
@incollection{KirchnerKV-MIT95,
Author = {Kirchner, Claude and Kirchner, H{\'e}l{\`e}ne and Vittek, Marian},
Booktitle = {Principles and Practice of Constraint Programming. The Newport Papers},
Chapter = {8},
Date-Modified = {2007-02-21 12:58:06 +0100},
Editor = {Van Hentenryck, P. and Saraswat, V.},
Pages = {131--158},
Publisher = {MIT Press},
Title = {Designing Constraint Logic Programming Languages using Computational Systems},
Year = {1995}}
@manual{TOM-manual,
Author = {Emilie Balland and Paul Brauner and Radu Kopetz and Pierre-Etienne Moreau and Antoine Reilles},
Date-Added = {2007-02-21 10:54:35 +0100},
Date-Modified = {2007-02-21 10:56:28 +0100},
Note = {\url{http://tom.loria.fr}},
Title = {{TOM} Manual},
Year = {2006}}
@inproceedings{MeseguerEtAl03,
Author = {Jos{\'e} Meseguer and Miguel Palomino and Narciso Mart{\'\i}-Oliet},
Booktitle = {Automated Deduction - CADE-19. 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
Editor = {Franz Baader},
Pages = {2-16},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Equational Abstractions},
Volume = 2741,
Year = 2003}
@incollection{VanGlabbeek01,
Author = {R. J. van Glabbeek},
Booktitle = {Handbook of process algebra},
Editor = {J. A. Bergstra and A. Ponse and S. A. Smolka},
Pages = {3-99},
Publisher = {North-Holland},
Title = {The linear time-branching time spectrum {I}: The semantics of concrete, sequential processes},
Year = 2001}
@book{Horowitz97,
Author = {Ellis Horowitz and Sartaj Sahni and Sanguthevar Rajasekaran},
Date-Added = {2006-11-24 14:50:19 +0100},
Date-Modified = {2007-01-17 23:36:50 +0100},
Publisher = {W. H. Freeman and Company},
Series = {Computer Science Press},
Title = {Computer Algorithms},
Year = {1997}}
@article{Scaife01,
Author = {G. Michaelson and N. Scaife and P. Bristow and P. King},
Date-Added = {2007-01-13 20:30:12 +0100},
Date-Modified = {2007-01-13 20:31:18 +0100},
Journal = {Parallel Algorithms and Applications},
Number = {2-3},
Pages = {181-206},
Title = {Nested algorithmic skeletons from higher order functions},
Volume = {16},
Year = {2001}}
@article{Trinder02,
Author = {P. W. Trinder and H. W. Loidl and R. F. Pointon},
Date-Added = {2007-01-13 20:26:58 +0100},
Date-Modified = {2007-01-13 20:28:14 +0100},
Journal = {Journal of Functional Programming},
Number = {4-5},
Pages = {469-510},
Title = {Parallel and Distributed Haskells},
Volume = {12},
Year = {2002}}
@inproceedings{jaskel06,
Author = {Jo{\~a}o Fernando Ferreira and Jo{\~a}o Lu\'{\i}s Sobral and Alberto Jos{\'e} Proen\c{c}a},
Booktitle = {CCGRID'06: Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid},
Crossref = {DBLP:conf/ccgrid/2006},
Date-Modified = {2007-05-22 10:13:06 +0200},
Pages = {301-304},
Title = {{JaSkel}: A {Java} Skeleton-Based Framework for Structured Cluster and Grid Computing.},
Year = {2006}}
@proceedings{DBLP:conf/ccgrid/2006,
Booktitle = {CCGRID'06: Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid},
Publisher = {IEEE Computer Society},
Title = {Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore},
Year = {2006}}
@inproceedings{FarzanMeseguer06,
Author = {Azadeh Farzan and Jos{\'e} Meseguer},
Booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
Date-Added = {2007-01-13 19:46:41 +0100},
Date-Modified = {2007-01-13 19:48:37 +0100},
Editor = {Michael Johnson and Varmo Vene},
Pages = {142-157},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {State Space Reduction of Rewrite Theories Using Invisible Transitions},
Volume = {4019},
Year = {2006}}
@book{Cole89,
Author = {Murray Cole},
Date-Added = {2007-01-13 19:19:23 +0100},
Date-Modified = {2007-01-13 19:20:12 +0100},
Publisher = {MIT Press},
Title = {Algorithmic Skeletons: Structure Management of Parallel Computations},
Year = {1989}}
@techreport{skeletons-tr,
Author = {Adri\'an Riesco and Alberto Verdejo},
Date-Added = {2007-01-13 14:42:59 +0100},
Date-Modified = {2007-04-17 10:15:02 -0500},
Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid},
Number = {TR 1/07},
Title = {Parameterized skeletons in {Maude}},
Year = {2007}}
@inproceedings{MartiOlietEtAl04-wadt,
Author = {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Miguel Palomino},
Booktitle = {Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-30, 2004, Revised Selected Papers},
Editor = {Jos\'e Luiz Fiadeiro and Peter Mosses and Fernando Orejas},
Pages = {126-143},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Theoroidal Maps As Algebraic Simulations},
Volume = {3423},
Year = {2005}}
@inproceedings{PalominoEtAl05,
Author = {Miguel Palomino and Jos{\'e} Meseguer and Narciso Mart\'{\i}-Oliet},
Booktitle = {Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings},
Date-Modified = {2007-03-27 19:05:42 +0200},
Editor = {Jos\'e Luiz Fiadeiro and Neil Harman and Markus Roggenbach and Jan J. M. M. Rutten},
Pages = {313-330},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A categorical approach to simulations},
Volume = {3629},
Year = {2005}}
@book{cafe-report,
Author = {Kokichi Futatsugi and Razvan Diaconescu},
Publisher = {World Scientific, AMAST Series},
Title = {{CafeOBJ} Report},
Year = {1998}}
@inproceedings{equational-abstraction,
Author = {Jos\'e Meseguer and Miguel Palomino and Narciso Mart{\'\i}-Oliet},
Booktitle = {Automated Deduction - CADE-19. 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
Editor = {Franz Baader},
Pages = {2--16},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Equational abstractions},
Volume = {2741},
Year = {2003}}
@inproceedings{meseguer-rosu-2005-sos,
Author = {Jos{\'e} Meseguer and Grigore Ro\c{s}u},
Booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005), Lisbon, Portugal, 10 July 2005},
Editor = {P. Mosses and I. Ulidowski},
Note = {\url{http://www.sciencedirect.com/science/journal/15710661}},
Pages = {27-56},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {The Rewriting Logic Semantics Project},
Volume = {156(1)},
Year = {2006}}
@phdthesis{Palomino-thesis,
Author = {Miguel Palomino},
Month = mar,
School = {Universidad Complutense de Madrid, Spain},
Title = {Reflexi\'on, abstracci\'on y simulaci\'on en la l\'ogica de reescritura},
Year = 2005}
@phdthesis{Manolios-thesis,
Author = {Panagiotis Manolios},
Month = aug,
School = {University of Texas at Austin},
Title = {Mechanical Verification of Reactive Systems},
Year = 2001}
@article{ClavelEtAl06b,
Author = {Manuel Clavel and Miguel Palomino and Adri\'an Riesco},
Journal = {Journal of Universal Computer Science},
Note = {Programming and Languages. Special Issue with Extended Versions of Selected Papers from PROLE 2005: The Fifth Spanish Conference on Programming and Languages},
Number = 11,
Pages = {1618-1650},
Title = {Introducing the {ITP} Tool: a Tutorial},
Volume = 12,
Year = 2006}
@book{maude-book,
Author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott},
Date-Added = {2006-11-20 17:43:02 +0100},
Date-Modified = {2007-02-21 10:07:37 +0100},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {All About Maude: A High-Performance Logical Framework},
Volume = {4350},
Year = {2007}}
@inproceedings{strategies06,
Author = {Steven Eker and Narciso Mart\'{\i}-Oliet and Jos{\'e} Meseguer and Alberto Verdejo},
Booktitle = {Proceedings of the 6th International Workshop on Strategies in Automated Deduction (STRATEGIES 2006)},
Date-Added = {2006-11-20 17:40:11 +0100},
Date-Modified = {2007-07-01 12:39:10 +0200},
Editor = {M. Archer and T. Boy de la Tour and C. A. Mu\~noz},
Number = {11},
Pages = {3-25},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Deduction, Strategies, and Rewriting},
Volume = {174},
Year = {2007}}
@article{ClavelPalominoRiesco06,
Author = {Manuel Clavel and Miguel Palomino and Adri\'an Riesco},
Journal = {Journal of Universal Computer Science},
Note = {To appear},
Title = {Introducing the {ITP} Tool: a Tutorial},
Year = {2006}}
@inproceedings{itp-prole05,
Author = {Manuel Clavel and Miguel Palomino},
Booktitle = {V Jornadas sobre Programaci\'on y Lenguajes, PROLE 2005},
Editor = {Francisco Javier L\'opez-Fraguas},
Pages = {159-172},
Publisher = {Thomson},
Title = {A quick {ITP} tutorial},
Year = 2005}
@inproceedings{Visser04,
Author = {Eelco Visser},
Booktitle = {Domain-Specific Program Generation},
Date-Added = {2006-11-02 11:17:21 +0100},
Date-Modified = {2006-11-02 11:18:45 +0100},
Editor = {C. Lengauer},
Pages = {216--238},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Program Transformation with {Stratego/XT}: Rules, Strategies, Tools, and Systems in {StrategoXT-0.9}},
Volume = {3016},
Year = {2004}}
@article{BachmairTiwariVigneron03,
Author = {Leo Bachmair and Ashish Tiwari and Laurent Vigneron},
Date-Added = {2006-10-27 16:28:15 +0200},
Date-Modified = {2006-10-27 16:29:23 +0200},
Journal = {Journal of Automated Reasoning},
Number = {2},
Pages = {129-168},
Title = {Abstract Congruence Closure},
Volume = {31},
Year = {2003}}
@inproceedings{ConchonKrstic03,
Author = {Sylvain Conchon and Sava Krstic},
Booktitle = {Proceedings of the 9th Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03)},
Date-Added = {2006-10-27 16:24:58 +0200},
Date-Modified = {2006-10-27 16:26:17 +0200},
Pages = {537-553},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Strategies for combining decision procedures},
Volume = {2619},
Year = {2003}}
@article{MartelliMontanari82,
Author = {Alberto Martelli and Ugo Montanari},
Date-Added = {2006-10-27 16:19:17 +0200},
Date-Modified = {2006-10-27 16:20:44 +0200},
Journal = {ACM Transactions on Programming Languages and Systems},
Number = {2},
Pages = {258-282},
Title = {An Efficient Unification Algorithm},
Volume = {4},
Year = {1982}}
@phdthesis{Tiwari00,
Author = {Ashish Tiwari},
Date-Added = {2006-10-27 15:32:12 +0200},
Date-Modified = {2006-10-27 15:33:06 +0200},
School = {State University of New York},
Title = {Decision Procedures in Automated Deduction},
Year = {2000}}
@inproceedings{Kapur97,
Author = {D. Kapur},
Booktitle = {8th International Conference on Rewriting Techniques and Applications, RTA'97},
Date-Added = {2006-10-27 15:29:17 +0200},
Date-Modified = {2006-11-02 11:12:06 +0100},
Editor = {H. Comon},
Pages = {23-37},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Shostak's Congruence Closure as Completion},
Volume = {1232},
Year = {1997}}
@misc{wadt06,
Author = {Alberto Verdejo and Narciso Mart\'{\i}-Oliet},
Date-Added = {2006-10-24 21:04:41 +0200},
Date-Modified = {2007-04-19 15:06:08 -0500},
Note = {Paper in preparation, 2007. Presented at WADT'06, La Roche en Ardenne, Belgium.},
Title = {Basic completion by means of {Maude} strategies}}
@inproceedings{ClavelMeseguer97b,
Author = {Manuel Clavel and Jos{\'e} Meseguer},
Booktitle = {Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997)},
Date-Added = {2006-10-24 21:01:17 +0200},
Date-Modified = {2006-10-24 21:03:07 +0200},
Pages = {1-12},
Title = {Internal strategies in a reflective logic},
Year = {1997}}
@article{BasinClavelMeseguer04,
Author = {David Basin and Manuel Clavel and Jos{\'e} Meseguer},
Date-Added = {2006-10-24 20:55:02 +0200},
Date-Modified = {2006-10-24 20:56:35 +0200},
Journal = {ACM Transactions on Computational Logic},
Number = {3},
Pages = {528-576},
Title = {Reflective Metalogical Frameworks},
Volume = {5},
Year = {2004}}
@inproceedings{Bachmair86,
Author = {L. Bachmair and N. Dershowitz and J. Hsiang},
Booktitle = {Proceedings of the Symposium on Logic in Computer Science},
Date-Added = {2006-09-13 17:42:32 +0200},
Date-Modified = {2006-09-13 17:44:35 +0200},
Pages = {346-357},
Title = {Orderings for equational proofs},
Year = {1986}}
@techreport{mosses-BRICS-RS-99-57,
Author = {P. D. Mosses},
Date-Added = {2006-07-13 17:27:00 +0200},
Date-Modified = {2006-07-13 17:29:39 +0200},
Institution = {Department of Computer Science, University of Aarhus},
Number = {BRICS-RS-99-57},
Title = {A modular {SOS} for {ML} concurrency primitives},
Year = {1999}}
@article{mosses-jucs,
Author = {P. D. Mosses},
Date-Added = {2006-07-13 17:25:40 +0200},
Date-Modified = {2006-07-13 17:30:41 +0200},
Journal = {Journal of Universal Computer Science},
Pages = {1117-1134},
Title = {A Constructive Approach to Language Definition},
Volume = {11(7)},
Year = {2005}}
@inproceedings{Mousavi-sos05,
Author = {M. Mousavi and M. A. Reniers},
Booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics ({SOS} 2005)},
Date-Added = {2006-07-12 14:34:26 +0200},
Date-Modified = {2006-07-12 14:39:45 +0200},
Editor = {P. D. Mosses and I. Ulidowski},
Pages = {135-150},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Prototyping {SOS} Meta-theory in {Maude}},
Volume = {156(1)},
Year = {2006}}
@inproceedings{BotorogKuchen96,
Author = {G. H. Botorog and H. Kuchen},
Booktitle = {Proceedings of EuroPar'96},
Crossref = {europar96},
Date-Added = {2006-06-17 18:49:27 +0200},
Date-Modified = {2007-05-22 16:05:26 -0500},
Pages = {718-731},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Efficient Parallel Programming with Algorithmic Skeletons},
Volume = {1123},
Year = {1996}}
@inproceedings{Darlington93,
Author = {J. Darlington and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu and R. L. While},
Booktitle = {Proceedings of {PARLE}'93 -- Parallel Architectures and Languages Europe},
Date-Added = {2006-06-17 18:45:58 +0200},
Date-Modified = {2007-05-22 21:54:39 -0500},
Editor = {Arndt Bode and Mike Reeve and Gottfried Wolf},
Pages = {146-160},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Parallel programming using skeleton functions},
Volume = {694},
Year = {1993}}
@incollection{EdenSkeletons,
Author = {Rita Loogen and Yolanda Ortega-Mall\'en and Ricardo Pe{\~n}a and Steffen Priebe and Fernando Rubio},
Booktitle = {Patterns and Skeletons for Parallel and Distributed Computing},
Chapter = {4},
Crossref = {RabhiGorlatch02},
Date-Added = {2006-06-17 18:35:09 +0200},
Date-Modified = {2007-05-18 06:18:16 -0500},
Editor = {Fethi A. Rabhi and Sergei Gorlatch},
Pages = {95-129},
Publisher = {Springer},
Title = {Parallelism Abstractions in {Eden}},
Year = {2002}}
@book{RabhiGorlatch02,
Author = {Fethi A. Rabhi and Sergei Gorlatch},
Date-Added = {2006-06-17 18:31:16 +0200},
Date-Modified = {2006-06-17 18:43:16 +0200},
Publisher = {Springer},
Title = {Patterns and Skeletons for Parallel and Distributed Computing},
Year = {2002}}
@phdthesis{Mousavi05,
Author = {Mohammadreza Mousavi},
Date-Added = {2006-06-06 11:26:36 +0200},
Date-Modified = {2006-06-06 11:28:27 +0200},
School = {Technische Universiteit Eindhoven},
Title = {Structuring Structural Operational Semantics},
Year = {2005}}
@mastersthesis{Chalub05,
Author = {Fabricio Chalub},
Date-Added = {2006-06-06 11:16:48 +0200},
Date-Modified = {2006-06-06 11:18:58 +0200},
Note = {\url{http://www.ic.uff.br/~frosario/dissertation.pdf}},
School = {Universidade Federal Fluminense},
Title = {An Implementation of {Modular Structural Operational Semantics in Maude}},
Year = {2005}}
@article{Mosses04,
Author = {P. D. Mosses},
Date-Added = {2006-06-06 11:11:58 +0200},
Date-Modified = {2006-06-06 11:13:10 +0200},
Journal = {Journal of Logic and Algebraic Programming},
Pages = {195-228},
Title = {Modular Structural Operational Semantics},
Volume = {60-61},
Year = {2004}}
@article{ulidowski,
Author = {Irek Ulidowski and Iain Phillips},
Date-Added = {2006-06-04 12:55:33 +0200},
Date-Modified = {2006-06-04 12:59:38 +0200},
Journal = {Information and Computation},
Pages = {180-213},
Title = {Ordered {SOS} Process Languages for Branching and Eager Bisimulations},
Volume = {178},
Year = {2002}}
@phdthesis{Ibanescu04,
Author = {Liliana Ibanescu},
Date-Added = {2006-02-24 12:12:25 +0100},
Date-Modified = {2006-02-24 12:14:52 +0100},
School = {Institut National Polytechnique de Lorraine, Nancy, France},
Title = {Programmation par r{\`e}gles et strat{\'e}gies pour la g{\'e}n{\'e}ration automatique de m{\'e}canismes de combustion d'hydrocarbures polycycliques},
Year = {2004}}
@inproceedings{eker-etal-02wrla,
Author = {Steven Eker and Merrill Knapp and Keith Laderoute and Patrick Lincoln and and Carolyn Talcott},
Booktitle = {Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19--21, 2002},
Date-Added = {2006-02-23 11:36:18 +0100},
Date-Modified = {2006-02-23 11:40:51 +0100},
Editor = {Fabio Gadducci and Ugo Montanari},
Pages = {125-142},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Pathway Logic: Executable Models of Biological Networks},
Volume = {71},
Year = {2002}}
@inproceedings{DuranRiescoVerdejo06,
Author = {Francisco Dur\'an and Adri\'an Riesco and Alberto Verdejo},
Booktitle = {Proceedings Sixth International Workshop on Rewriting Logic and its Applications, WRLA 2006},
Date-Added = {2006-01-21 20:07:24 +0100},
Date-Modified = {2006-06-17 18:18:58 +0200},
Editor = {Grit Denker and Carolyn Talcott},
Pages = {35-55},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A distributed implementation of {Mobile Maude}},
Year = {2006}}
@inproceedings{ChalubBraga06,
Author = {Fabricio Chalub and Christiano Braga},
Booktitle = {Proceedings Sixth International Workshop on Rewriting Logic and its Applications, WRLA 2006},
Date-Added = {2006-01-21 20:07:24 +0100},
Date-Modified = {2006-07-12 14:38:26 +0200},
Editor = {Grit Denker and Carolyn Talcott},
Note = {To appear.},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Maude {MSOS} Tool},
Year = {2006}}
@inproceedings{Meseguer05,
Author = {Jos\'e Meseguer},
Booktitle = {Theoretical Aspects of Computing -- ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings},
Date-Added = {2006-01-19 18:33:15 +0100},
Date-Modified = {2006-01-19 18:36:26 +0100},
Editor = {Dang Hung and Martin Wirsing},
Pages = {1--28},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A Rewriting Logic Sampler},
Volume = {3722},
Year = {2005}}
@book{clarke-model-checking-book,
Author = {Edmund M. Clarke and Orna Grumberg and Doron A. Peled},
Date-Modified = {2006-01-07 17:34:16 +0100},
Publisher = {MIT Press},
Title = {Model Checking},
Year = 1999}
@book{manna-pnueli-book,
Author = {Zohar Manna and Amir Pnueli},
Publisher = {Springer},
Title = {The Temporal Logic of Reactive and Concurrent Systems. Specifications},
Year = 1992}
@manual{CDELMOMT04,
Author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott},
Date-Added = {2005-11-14 16:10:33 +0100},
Date-Modified = {2005-11-14 16:10:33 +0100},
Month = {April},
Note = {\url{http://maude.cs.uiuc.edu/maude2-manual}},
Title = {{Maude} Manual (Version 2.1.1)},
Year = {2005}}
@misc{ST98,
Author = {Mihaela Sighireanu and Ken Turner},
Date-Added = {2005-06-01 14:46:41 +0200},
Date-Modified = {2005-06-01 14:47:54 +0200},
Howpublished = {INRIA Research Report RR-3575 INRIA Research Report RR-3575},
Title = {Requirement Capture, Formal Description and Verification of an Invoicing System},
Year = {1998}}
@book{Winskel93,
Author = {Glynn Winskel},
Date-Added = {2005-06-01 11:56:23 +0200},
Date-Modified = {2005-06-01 11:57:41 +0200},
Publisher = {The {MIT} Press},
Series = {Foundations of Computing Series},
Title = {The Formal Semantics of Programming Languages. An Introduction},
Year = {1993}}
@misc{ChalubBraga04,
Author = {Fabricio Chalub and Christiano Braga},
Date-Added = {2005-06-01 11:18:43 +0200},
Date-Modified = {2005-06-01 11:21:44 +0200},
Howpublished = {Manuscrito},
Title = {Implementing {Modular} {SOS} in {Maude}},
Year = {2004}}
@article{AHHOV05,
Author = {Elvira Albert and Michael Hanus and Frank Huch and Javier Oliver and Germ{\'a}n Vidal},
Date-Added = {2005-06-01 11:04:18 +0200},
Date-Modified = {2005-06-01 11:05:29 +0200},
Journal = {Journal of Symbolic Computation},
Number = {1},
Pages = {795-829},
Title = {Operational semantics for declarative multi-paradigm languages},
Volume = {40},
Year = {2005}}
@inproceedings{Lescanne89,
Author = {Pierre Lescanne},
Booktitle = {{TAPSOFT'89} Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989},
Date-Added = {2005-06-01 10:57:11 +0200},
Date-Modified = {2005-06-01 10:59:48 +0200},
Editor = {J. D{\'\i}az and F. Orejas},
Pages = {28-41},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Completion Procedures as Transition Rules + Control},
Volume = {351},
Year = {1989}}
@techreport{FMSS03,
Author = {G. Ferrari and C. Montangero and L. Semini and S. Semprini},
Date-Added = {2005-06-01 10:28:02 +0200},
Date-Modified = {2005-06-01 10:47:48 +0200},
Institution = {Dipartimento di Informatica, Universit\`a di Pisa},
Title = {The {Mob$_\mathit{adtl}$} model and method to design network aware applications},
Year = {2003}}
@article{NL04,
Author = {Rocco {De Nicola} and Michele Loreti},
Date-Added = {2005-06-01 10:21:55 +0200},
Date-Modified = {2005-06-01 10:22:58 +0200},
Journal = {ACM Transactions on Computational Logic},
Number = {1},
Pages = {79-128},
Title = {A Modal Logic for Mobile Agents},
Volume = {5},
Year = {2004}}
@article{LM05,
Author = {Philip Kremer and Grigori Mints},
Date-Added = {2005-06-01 10:12:22 +0200},
Date-Modified = {2005-06-01 10:13:08 +0200},
Journal = {Annals of Pure and Applied Logic},
Pages = {133-158},
Title = {Dynamic topological logic},
Volume = {131},
Year = {2005}}
@inproceedings{CairesCardelli02,
Author = {L. Caires and L. Cardelli},
Booktitle = {{CONCUR 2002} -- Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings},
Date-Added = {2005-05-31 12:43:21 +0200},
Date-Modified = {2005-06-01 14:26:54 +0200},
Editor = {P. J. L. Brim and M. Ket{\'\i}nsk\'y and A. Kuera},
Pages = {209-225},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Spatial logic for concurrency ({Part II})},
Volume = {2421},
Year = {2002}}
@inproceedings{CairesCardelli01,
Author = {L. Caires and L. Cardelli},
Booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 2001, Proceedings},
Date-Added = {2005-05-31 12:38:32 +0200},
Date-Modified = {2005-06-01 14:26:42 +0200},
Editor = {N. Kobayashi and B. C. Pierce},
Pages = {1-37},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Spatial logic for concurrency ({Part I})},
Volume = {2215},
Year = {2001}}
@article{VLRL05,
Author = {Narciso Mart{\'\i}-Oliet and Isabel Pita and Jos\'e Luis Fiadeiro and Jos\'e Meseguer and Tom Maibaum},
Date-Added = {2005-05-31 12:34:44 +0200},
Date-Modified = {2005-05-31 12:37:32 +0200},
Journal = {Journal of Logic and Computation},
Number = {3},
Pages = {317-352},
Title = {A Verification Logic for Rewriting Logic},
Volume = {15},
Year = {2005}}
@inproceedings{Isabel-prole02,
Author = {Isabel Pita},
Booktitle = {Actas PROLE 2002, Segundas Jornadas sobre Programaci\'on y Lenguajes},
Date-Added = {2005-05-31 12:32:49 +0200},
Date-Modified = {2005-06-01 16:49:42 +0200},
Editor = {Ricardo Pe{\~n}a},
Pages = {183-199},
Title = {Defining in {VLRL} spatial properties of systems specified in rewriting logic},
Year = {2002}}
@inproceedings{Giovannetti04,
Author = {E. Giovannetti},
Booktitle = {Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004},
Date-Added = {2005-05-31 07:49:51 +0200},
Date-Modified = {2005-05-31 07:51:06 +0200},
Editor = {M. Atkinson},
Pages = {96-115},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Type Inference for Mobile Ambients in {Prolog}},
Volume = {91},
Year = {2004}}
@inproceedings{Zimmer00,
Author = {P. Zimmer},
Booktitle = {Foundations of Software Science and Computation Structures, 3rd International Conference, FOSSACS'00},
Date-Added = {2005-05-31 07:48:12 +0200},
Date-Modified = {2005-05-31 07:49:23 +0200},
Pages = {375-389},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Sybtyping and typing algorithms for mobile ambients},
Volume = {1784},
Year = {2000}}
@article{LS03,
Author = {F. Levi and D. Sangiorgi},
Date-Added = {2005-05-31 07:37:44 +0200},
Date-Modified = {2005-05-31 07:38:50 +0200},
Journal = {ACM Transactions on Programming Languages and Systems},
Number = {1},
Pages = {1-69},
Title = {Mobile Safe Ambients},
Volume = {25},
Year = {2003}}
@inproceedings{CGG00,
Author = {L. Cardelli and G. Ghelli and A. D. Gordon},
Booktitle = {Theretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS'00},
Date-Added = {2005-05-31 07:33:06 +0200},
Date-Modified = {2005-05-31 07:35:14 +0200},
Pages = {333-347},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Ambient groups and mobility types},
Volume = {1872},
Year = {2000}}
@inproceedings{CGG99,
Author = {L. Cardelli and G. Ghelli and A. D. Gordon},
Booktitle = {Automata, Languages and Programming, 26th International Colloquium, ICALP'99},
Date-Added = {2005-05-31 07:30:57 +0200},
Date-Modified = {2005-05-31 07:34:04 +0200},
Pages = {230-239},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Mobility types for Mobile Ambients},
Volume = {1644},
Year = {1999}}
@misc{itp-web,
Author = {Manuel Clavel},
Date-Added = {2005-05-30 11:30:16 +0200},
Date-Modified = {2005-05-30 11:32:24 +0200},
Howpublished = {\url{http://maude.sip.ucm.es/itp}},
Title = {The {ITP} Tool's Home Page},
Year = {2006}}
@inproceedings{VMORSLB05,
Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet and Tom\'as Robles and Joaqu{\'\i}n Salvach{\'u}a and Luis Llana and Margarita Bradley},
Booktitle = {Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings},
Date-Added = {2005-05-30 10:17:29 +0200},
Date-Modified = {2006-08-06 19:59:24 +0200},
Editor = {M. Steffen and G. Zavattaro},
Pages = {227-242},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Transforming information in {RDF} to rewriting logic},
Volume = {3535},
Year = {2005}}
@inproceedings{HidalgoVerdejoOrtega05,
Author = {Mercedes Hidalgo-Herrero and Alberto Verdejo and Yolanda Ortega-Mall{\'e}n},
Booktitle = {V Jornadas sobre Programaci{\'o}n y Lenguajes, PROLE 2005},
Date-Added = {2005-05-28 17:32:45 +0200},
Date-Modified = {2006-01-22 18:01:25 +0100},
Editor = {Francisco L\'opez-Fraguas},
Pages = {13-23},
Publisher = {Thomson},
Title = {Looking for {Eden} through {Maude} and its strategies},
Year = {2005}}
@inproceedings{RosaSeguraVerdejo05,
Author = {Fernando Rosa-Velardo and Clara Segura and Alberto Verdejo},
Booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming (RULE 2005)},
Date-Added = {2005-05-28 17:24:31 +0200},
Date-Modified = {2005-05-28 17:26:37 +0200},
Editor = {H. Cirstea and N. Mart{\'\i}-Oliet},
Pages = {135--161},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Typed Mobile Ambients in {Maude}},
Volume = {147},
Year = {2006}}
@misc{Maude-web,
Date-Added = {2006-01-22 20:16:32 +0100},
Date-Modified = {2006-01-23 12:12:18 +0100},
Howpublished = {\url{http://maude.cs.uiuc.edu}},
Key = {Maude},
Title = {Maude web page},
Year = {2006}}
@article{FieldingTaylor02,
Author = {Roy T. Fielding and Richard N. Taylor},
Date-Added = {2006-01-22 18:10:07 +0100},
Date-Modified = {2006-01-22 18:11:12 +0100},
Journal = {ACM Transactions on Internet Technology},
Number = {2},
Pages = {115-150},
Title = {Principled Design of the Modern Web Architecture},
Volume = {2},
Year = {2002}}
@inproceedings{HeTurner99b,
Author = {Ji He and Kenneth J. Turner},
Booktitle = {Proc.\ Testing Communicating Systems {XII}},
Date-Added = {2005-05-28 17:04:11 +0200},
Date-Modified = {2005-05-28 17:05:24 +0200},
Editor = {Gyula Csopaki and Sarolta Dibuz and Katalin Tarnay},
Pages = {131-147},
Publisher = {Kluwer Academic Publishers},
Title = {Protocol-Inspired Hardware Testing},
Year = {1999}}
@inproceedings{HeTurner99,
Author = {Ji He and Kenneth J. Turner},
Booktitle = {Proc.\ Formal Methods for Protocol Engineering and Distributed Systems {(FORTE XII/PSTV XIX)}},
Date-Added = {2005-05-28 17:01:12 +0200},
Date-Modified = {2005-05-30 10:28:44 +0200},
Editor = {Jianping Wu and Samuel Chanson and Quiang Gao},
Pages = {295-312},
Publisher = {Kluwer Academic Publishers},
Title = {Specification and Verification of Synchronous Hardware using {LOTOS}},
Year = {1999}}
@inproceedings{MartiOlietPalominoVerdejo05,
Author = {Narciso Mart\'{\i}-Oliet and Miguel Palomino and Alberto Verdejo},
Booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer Languages (PROLE 2004)},
Date-Added = {2005-05-28 16:47:01 +0200},
Date-Modified = {2007-05-28 16:26:06 -0500},
Editor = {Salvador Lucas},
Number = {1},
Pages = {105-132},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A Tutorial on Specifying Data Structures in {Maude}},
Volume = {137},
Year = {2005}}
@misc{RDFRecommendation,
Author = {F. Manola and E. Miller},
Date-Modified = {2005-05-28 16:15:03 +0200},
Howpublished = {W3C Recommendation},
Note = {\url{http://www.w3.org/TR/rdf-primer}},
Title = {{RDF} Primer},
Year = 2004}
@misc{RDFSCandidateRecommendation,
Author = {D. Brickley and R.V. Guha},
Date-Modified = {2005-05-28 16:13:15 +0200},
Howpublished = {{W3C} Recomendation},
Note = {\url{http://www.w3.org/TR/rdf-schema}},
Title = {{RDF} Vocabulary Description Language 1.0: {RDF Schema}},
Year = 2004}
@misc{XML-Schema,
Howpublished = {{W3C Recommendation}},
Key = {XML-Schema},
Note = {\url{http://www.w3.org/TR/xmlschema-0/}},
Title = {{XML Schema} Part 0: Primer},
Year = 2001}
@misc{XML,
Key = {XML},
Note = {\url{http://www.w3.org/XML/}},
Title = {Extensible Markup Language ({XML})}}
@misc{W3CRDF,
Key = {W3CRDF},
Note = {\url{http://www.w3.org/RDF/}},
Title = {{Resource Description Framework ({RDF}) / W3C Semantic Web Activity}}}
@article{SemanticWeb2001,
Author = {T. Berners-Lee and J. Hendler and O. Lassila},
Journal = {Scientific American},
Title = {The Semantic Web},
Year = 2001}
@article{KotzGray99,
Author = {D. Kotz and R. Gray},
Date-Added = {2005-05-28 15:54:28 +0200},
Date-Modified = {2005-05-28 15:55:19 +0200},
Journal = {ACM Operating Systems Review},
Number = {3},
Pages = {7-13},
Title = {Mobile Agents and the Future of the Internet},
Volume = {33},
Year = {1999}}
@article{LangeOshima99,
Author = {D. Lange and M. Oshima},
Date-Added = {2005-05-28 15:53:06 +0200},
Date-Modified = {2005-05-30 10:29:22 +0200},
Journal = {Communications of the ACM},
Pages = {88-89},
Title = {Seven good reasons for Mobile Agents},
Volume = {42},
Year = {1999}}
@article{SighireanuMateescu98,
Author = {M. Sighireanu and R. Mateescu},
Journal = {Springer International Journal on Software Tools for Technology Transfer (STTT)},
Number = 1,
Pages = {68-88},
Title = {Verification of the Link Layer Protocol of the {IEEE-1394} Serial Bus (``{FireWire}''): an Experiment with {E-LOTOS}},
Volume = 2,
Year = 1998}
@article{Romijn01,
Author = {J. Romijn},
Date-Modified = {2005-06-01 16:50:14 +0200},
Journal = {Formal Methods in System Design},
Number = 2,
Pages = {165-194},
Title = {A Timed Verification of the {IEEE 1394} Leader Election Protocol},
Volume = 19,
Year = 2001}
@article{VerdejoMartiOliet05b,
Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
Date-Added = {2005-05-28 15:09:01 +0200},
Date-Modified = {2006-06-06 11:21:23 +0200},
Journal = {Journal of Logic and Algebraic Programming},
Pages = {226-293},
Title = {Executable Structural Operational Semantics in {Maude}},
Volume = {67},
Year = {2006}}
@unpublished{ShanklandCalder-DIET,
Author = {C. Shankland and M. Calder},
Note = {\url{http://www.cs.stir.ac.uk/diet}},
Title = {{Developing Implementation and Extending Theory}: A Symbolic Approach about {LOTOS}. {EPSRC project CR/M07779/01}},
Year = 2002}
@unpublished{FINAL98,
Author = {Juan {Quemada, editor}},
Month = May,
Note = {ISO/IEC JTC1/SC21/WG7 Project 1.21.20.2.3.},
Title = {Final committee draft on {E}nhancements to {LOTOS}},
Year = {1998}}
@book{MV93,
Booktitle = {Algebraic Specification of Communication Protocols},
Crossrefonly = 1,
Editor = {S. Mauw and G.J. Veltink},
Publisher = {Cambridge University Press},
Series = {Cambridge Tracts in Theoretical Computer Science 36},
Title = {Algebraic Specification of Communication Protocols},
Year = 1993}
@misc{DIET-IJFCS,
Author = {C. Shankland and J. Bryans and S. Maharaj and M. Calder and B. Ross and L. Morel and P. Robinson and A. Verdejo},
Date-Modified = {2005-05-28 15:01:41 +0200},
Title = {A Symbolic Approach to Infinite State Systems},
Year = {2002}}
@article{VerdejoMartiOliet05,
Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
Date-Added = {2005-05-28 14:00:25 +0200},
Date-Modified = {2005-06-26 18:50:20 +0200},
Journal = {Formal Methods in System Design},
Pages = {113-172},
Title = {Two case studies of semantics execution in {Maude}: {CCS} and {LOTOS}},
Volume = {27},
Year = {2005}}
@misc{Verdejo00,
Author = {Alberto Verdejo},
Date-Added = {2005-05-28 12:13:50 +0200},
Date-Modified = {2005-05-28 12:14:59 +0200},
Title = {{E-LOTOS} Tutorial with Examples},
Year = {2000}}
@misc{ELOTOS,
Author = {{ISO/IEC}},
Howpublished = {International Standard {ISO/IEC FDIS 15437}},
Key = {ISO15437},
Title = {Information technology --- {Enhancements} to {LOTOS} ({E-LOTOS})},
Year = 2001}
@manual{ELOTOS01,
Author = {{ISO/IEC}},
Date-Added = {2005-05-28 11:51:11 +0200},
Date-Modified = {2005-05-28 11:53:38 +0200},
Organization = {International Standard 15437, International Organization for Standardization},
Title = {Information technology --- Enhancements to {LOTOS} ({E-LOTOS})}}
@inproceedings{RaoSagonasSwiftWarrenFreire97,
Author = {Prasad Rao and Konstantinos Sagonas and Terrance Swift and David S. Warren and Juliana Freire},
Booktitle = {Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning},
Editor = {J{\"u}rgen Dix and Ulrich Furbach and Anil Nerode},
Pages = {430--440},
Publisher = {Springer},
Series = {Lecture Notes in Artificial Intelligence},
Title = {{XSB}: {A} system for efficiently computing Well-Founded Semantics},
Volume = {1265},
Year = {1997}}
@article{ChenWarren96,
Author = {W. Chen and D. S. Warren},
Journal = {Journal of the ACM},
Number = {1},
Pages = {20-74},
Title = {Tabled Evaluation with Delaying for General Logic Programs},
Volume = {43},
Year = {1996}}
@inproceedings{BerghoferNipkow02,
Author = {Stefan Berghofer and Tobias Nipkow},
Booktitle = {Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers},
Editor = {P. Callaghan and Z. Luo and J. McKinna and R. Pollack},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Executing Higher Order Logic},
Volume = {2277},
Year = {2002}}
@inproceedings{Cui98,
Author = {Baoqiu Cui and Yifei Dong and Xiaoqun Du and K. Narayan Kumar and C. R. Ramakrishnan and I. V. Ramakrishnan and Abhik Roychoudhury and Scott A. Smolka and David S. Warren},
Booktitle = {Principles of Declarative Programming: 10th International Symposium, PLILP'98. Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 1998. Proceedings},
Editor = {C. Palamidessi and H. Glaser and K. Meinke},
Pages = {1-20},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Logic Programming and Model Checking},
Volume = {1490},
Year = {1998}}
@inproceedings{PalominoMartiOlietVerdejo04,
Author = {Miguel Palomino and Narciso Mart{\'\i}-Oliet and Alberto Verdejo},
Booktitle = {{RULE'04} Fifth International Workshop on Rule-Based Programming. Proceedings},
Date-Modified = {2005-05-30 11:14:04 +0200},
Editor = {S. Abdennadher and C. Ringeissen},
Pages = {3-23},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Playing with {Maude}},
Volume = {124(1)},
Year = {2005}}
@phdthesis{Berghofer03,
Author = {Stefan Berghofer},
School = {Institut f\"ur Informatik, Technische Universit\"at M\"unchen},
Title = {Proofs, Programs and Executable Specifications in Higher Order Logic},
Year = {2003}}
@proceedings{martioliet04-wrla,
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Year = {2004}}
@inproceedings{LopezFraguasEtAl04,
Author = {F. Javier L\'opez-Fraguas and Mario Rodr{\'\i}guez-Artalejo and Rafael del Vado-V{\'\i}rseda},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {1-46},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Constraint Functional Logic Programming revisited},
Year = {2004}}
@inproceedings{CirsteaEtAl04,
Author = {Horatiu Cirstea and Germain Faure and Claude Kirchner},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {47-63},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A $\rho$-calculus of Explicit Constraint Applications},
Year = {2004}}
@inproceedings{StumpEtAl04,
Author = {Aaron Stump and Ryan Besand and James C. Brodman and Jonathan Hseu and Bill Kinnersley},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {65-82},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {From {Rogue} to {MicroRogue}},
Year = {2004}}
@inproceedings{LiquoriWack04,
Author = {Luigi Liquori and Benjamin Wack},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {83-104},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {The Polymorphic Rewriting-Calculus},
Year = {2004}}
@inproceedings{PalominoPita04,
Author = {Miguel Palomino and Isabel Pita},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {105-125},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Proving {VLRL} Action Properties with the {Maude} model checker},
Year = {2004}}
@inproceedings{Wang04,
Author = {Bow-Yaw Wang},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {127-145},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {$\mu$-Calculus model checking in {Maude}},
Year = {2004}}
@inproceedings{MeseguerThati04,
Author = {Jos\'e Meseguer and Prasanna Thati},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {147-174},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Symbolic Reachability Analysis Using Narrowing and Its Application to Verification of Cryptographic Protocols},
Year = {2004}}
@inproceedings{CervesatoStehr04,
Author = {Iliano Cervesato and Mark-Oliver Stehr},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {175-197},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Representing the {MSR} Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types},
Year = {2004}}
@inproceedings{CirsteMoreauReilles04,
Author = {Horatiu Cirstea and Pierre-Etienne Moreau and Antoine Reilles},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {199-217},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Rule Based Programming in Java for Protocol Verification},
Year = {2004}}
@inproceedings{DenkerTalcott04,
Author = {Grit Denker and Carolyn L. Talcott},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {219-237},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Formal Checklists for Remote Agent Dependability},
Year = {2004}}
@inproceedings{ArrighiDowek04,
Author = {Pablo Arrighi and Gilles Dowek},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {239-244},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Some Remarks on the Definition of the Notion of Vectorial Space},
Year = {2004}}
@inproceedings{DuranEtAl04,
Author = {Francisco Dur\'an and Santiago Escobar and Salvador Lucas},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {245-266},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {New Evaluation Commands for {Maude} within {Full} {Maude}},
Year = {2004}}
@inproceedings{OlveczkyMeseguer04,
Author = {Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {267-294},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Real-Time {Maude} 2.0},
Year = {2004}}
@inproceedings{MasonTalcott04,
Author = {Ian A. Mason and Carolyn L. Talcott},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {295-312},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {{IOP}: The {I}nter{O}perability Platform \& {IM}aude: An Interactive Extension of {M}aude},
Year = {2004}}
@inproceedings{CenciarelliEtAl04,
Author = {Pietro Cenciarelli and Ivano Talamo and Alessandro Tiberi},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {313-328},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Ambient Graph Rewriting},
Year = {2004}}
@inproceedings{CiobanuLucanu04,
Author = {Gabriel Ciobanu and Dorel Lucanu},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {329-347},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Communicating Concurrent Objects in hidden{CCS}},
Year = {2004}}
@inproceedings{JohnsenEtAl04,
Author = {Einar Broch Johnsen and Olaf Owe and Eyvind W. Axelsen},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {349-365},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A Run-Time Environment for Concurrent Objects with Asynchronous Methods Calls},
Year = {2004}}
@inproceedings{BragaMeseguer04,
Author = {Christiano Braga and Jos{\'e} Meseguer},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {367-390},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Modular Rewriting Semantics in Practice},
Year = {2004}}
@inproceedings{MartiOlietMeseguerVerdejo04,
Author = {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Alberto Verdejo},
Booktitle = {Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 -- April 4, 2004},
Date-Modified = {2005-05-28 17:22:48 +0200},
Editor = {Narciso Mart{\'\i}-Oliet},
Pages = {417-441},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Towards a Strategy Language for {M}aude},
Volume = {117},
Year = {2005}}
@article{CalderMaharajShankland02,
Author = {Muffy Calder and Savi Maharaj and Carron Shankland},
Journal = {The Computer Journal},
Number = {1},
Pages = {55-61},
Title = {A Modal Logic for {Full LOTOS} based on Symbolic Transition Systems},
Volume = {45},
Year = {2002}}
@inproceedings{LR01,
Author = {Ralf L\"ammel and G\"unter Riedewald},
Booktitle = {Proceedings of the First Workshop on Language Descriptions, Tools and Applications (LDTA'01), Genova, Italy, April 7, 2001, Satellite event of ETAPS'2001},
Date-Modified = {2009-01-23 12:46:45 +0100},
Editor = {Mark van den Brand and Didier Parigot},
Issue = {2},
Publisher = {Elsevier},
Series = {ENTCS},
Title = {Prological Language Processing},
Volume = {44},
Year = {2001}}
@inproceedings{BruniMeseguer03,
Author = {Roberto Bruni and Jos{\'e} Meseguer},
Booktitle = {Automata, Languages and Programming. 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003, Proceedings},
Editor = {Jos C.~M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger},
Pages = {252-266},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Generalized Rewrite Theories},
Volume = {2719},
Year = {2003}}
@book{SML97,
Author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
Publisher = {The MIT Press},
Title = {The Definition of Standard ML - Revised},
Year = {1997}}
@inproceedings{CMP02,
Author = {Manuel Clavel and Jos{\'e} Meseguer and Miguel Palomino},
Crossref = {GadducciMontanari02},
Pages = {63-78},
Title = {Reflection in Membership Equational Logic, Many-Sorted Equational Logic, {H}orn Logic with Equality, and Rewriting Logic}}
@book{FA03,
Author = {Thom Fr{\"u}hwirth and Slim Abdennadher},
Publisher = {Springer},
Title = {Essentials of Constraint Programming},
Year = {2003}}
@inproceedings{MeseguerBraga04,
Author = {Jos\'e Meseguer and Christiano Braga},
Booktitle = {Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 2004, Proceedings},
Date-Modified = {2006-07-05 14:42:04 +0200},
Editor = {C. Rattray and S. Maharaj and C. Shankland},
Pages = {364-378},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Modular rewriting semantics of programming languages},
Volume = {3116},
Year = {2004}}
@book{DHK96,
Editor = {Arie van Deursen and Jan Heering and Paul Klint},
Number = {5},
Publisher = {World Scientific},
Series = {{AMAST} Series in Computing},
Title = {Language Prototyping: An Algebraic Specification Approach},
Year = {1996}}
@article{VerdejoMarti-Oliet02b,
Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
Journal = {Formal Methods and System Design},
Note = {Enviado para su publicaci{\^U}n, pendiente de aceptaci{\^U}n.},
Title = {Executing and Verifying {CCS} in {Maude}},
Year = {2002}}
@inproceedings{VerdejoMarti-Oliet02,
Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
Crossref = {GadducciMontanari02},
Pages = {239-257},
Title = {Implementing {CCS} in {Maude} 2}}
@inproceedings{MeseguerEkerSridharanarayanan2002,
Author = {Steven Eker and Jos\'e Meseguer and Ambarish Sridharanarayanan},
Crossref = {GadducciMontanari02},
Pages = {115-141},
Title = {The {Maude} {LTL} Model Checker}}
@inproceedings{VerdejoMarti-Oliet02-scr,
Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
Booktitle = {Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19--21, 2002},
Crossref = {GadducciMontanari02},
Date-Modified = {2005-05-30 11:09:02 +0200},
Editor = {Fabio Gadducci and Ugo Montanari},
Pages = {239-257},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Implementing {CCS} in {Maude} 2},
Volume = {71},
Year = {2002}}
@inproceedings{DuranVerdejo02,
Author = {Francisco Dur\'an and Alberto Verdejo},
Crossref = {GadducciMontanari02},
Pages = {79-95},
Title = {A Conference Reviewing System in {Mobile Maude}}}
@inproceedings{DuranVerdejo02-scr,
Author = {Francisco Dur\'an and Alberto Verdejo},
Booktitle = {Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19--21, 2002},
Date-Modified = {2005-05-30 10:27:09 +0200},
Editor = {Fabio Gadducci and Ugo Montanari},
Pages = {79-95},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A Conference Reviewing System in {Mobile Maude}},
Volume = {71},
Year = {2002}}
@inproceedings{prole2001,
Author = {M. Clavel and F. Dur\'an and S. Eker and P. Lincoln and N. Mart\'\i-Oliet and J. Meseguer},
Booktitle = {Actas PROLE 2001, Primeras Jornadas sobre Programaci\'on y Lenguajes, Almagro (Ciudad Real), 23-24 Noviembre 2001},
Editor = {F. Orejas and F. Cuartero and D. Cazorla},
Pages = {93-110},
Publisher = {Universidad de Castilla La Mancha},
Title = {Language prototyping in the {Maude} metalanguage},
Year = {2001}}
@inproceedings{AlbarranDuranVallecillo01c,
Address = {Buenos Aires, Argentina},
Author = {Antonio Albarr{\'a}n and Francisco Dur{\'a}n and Antonio Vallecillo},
Booktitle = {Proceedings 2nd Argentine Symposium on Software Engineering},
Month = {10--11,},
Title = {{Maude} Meets {CORBA}},
Year = {2001}}
@inproceedings{AlbarranDuranVallecillo01a,
Address = {Budapest, Hungary},
Author = {Antonio Albarr{\'a}n and Francisco Dur{\'a}n and Antonio Vallecillo},
Booktitle = {Proceedings 6th ECOOP International Workshop on Component-Oriented Programming, {WCOP'01}},
Title = {On the Smooth Implementation of Component-Based System Specifications},
Year = {2001}}
@inproceedings{AlbarranDuranVallecillo01b,
Author = {Antonio Albarr{\'a}n and Francisco Dur{\'a}n and Antonio Vallecillo},
Booktitle = {Proceedings {VI} Jornadas de Ingenier{\'\i}a del Software y Bases de Datos, JISBD 2001, Almagro, Spain},
Title = {From {Maude} specifications to {SOAP} distributed implementations: a smooth transition},
Year = {2001}}
@book{Andrews91b,
Author = {Gregory R. Andrews},
Key = {Andrews},
Publisher = {The Benjamin/Cummings Publishing Company},
Title = {Concurrent Programming: Principles and Practice},
Year = {1991}}
@book{Baeten90,
Address = {Cambridge},
Author = {J. C. M. Baeten},
Publisher = {Cambridge University Press},
Title = {Applications of Process Algebra},
Year = {1990}}
@article{BaetenBergstra93,
Author = {J. C. M. Baeten and J. A. Bergstra},
Journal = {Formal Aspects of Computing},
Pages = {142-188},
Title = {Real Time Process Algebra},
Volume = {3},
Year = {1993}}
@book{Ben-Ari82,
Annote = {This textbook teaches concurrent programming through the{\newline} use of semaphores, monitors and the Ada rendevous{\newline} mechanism.},
Author = {Michael Ben-Ari},
Publisher = {Prentice-Hall International Inc.},
Title = {Principles of Concurrent Programming},
Year = {1982}}
@inproceedings{BergstraTucker80,
Author = {Jan Bergstra and John Tucker},
Booktitle = {Automata, Languages and Programming, Seventh Colloquium, Noordwijkerhout, The Netherlands},
Editor = {J. W. de Bakker and J. van Leeuwen},
Pages = {76-90},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Characterization of Computable Data Types by Means of a Finite Equational Specification Method},
Volume = {81},
Year = {1980}}
@inproceedings{Berry93,
Author = {G\'erard Berry},
Booktitle = {Proceedings of {FSTTCS} 93},
Pages = {72-93},
Publisher = {Springer},
Series = {LNCS 761},
Title = {Preemption in Concurrent Systems},
Year = {1993}}
@techreport{Bertot97,
Author = {Y. Bertot},
Institution = {INRIA},
Number = {RT-0212},
Title = {Programming Language Specifications and Environments},
Year = {1997}}
@inproceedings{BertotFraer95,
Author = {Yves Bertot and Ranan Fraer},
Booktitle = {{TAPSOFT}'95: Theory and Practice of Software Development},
Editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
Pages = {531--545},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Reasoning with Executable Specifications},
Volume = {915},
Year = {1995}}
@inproceedings{Meseguer97,
Author = {Jos{\'e} Meseguer},
Booktitle = {Recent Trends in Algebraic Development Techniques, 12th International Workshop, {WADT}'97, Tarquinia, Italy, June 3--7, 1997, Selected Papers},
Editor = {Francesco Parisi-Presicce},
Pages = {18-61},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Membership Algebra as a Logical Framework for Equational Specification},
Volume = {1376},
Year = {1998}}
@article{BorovanskyKirchnerKirchnerMoreau02,
Author = {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {155-185},
Title = {{ELAN} from a rewriting logic point of view},
Volume = {285},
Year = {2002}}
@inproceedings{Visser01,
Author = {Eelco Visser},
Booktitle = {Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
Editor = {Aart Middeldorp},
Pages = {357-362},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Stratego: A Language for Program Transformation Based on Rewriting Strategies},
Volume = {2051},
Year = {2001}}
@techreport{Visser03,
Author = {Eelco Visser},
Institution = {Institute of Information and Computing Sciences, Utrecht University},
Title = {Program transformation with {Stratego/XT}: {Rules}, strategies, tools, and systems in {StrategoXT-0.9}},
Year = {2003}}
@inproceedings{Vis01-WRS,
Author = {Visser, Eelco},
Booktitle = {Workshop on Reduction Strategies in Rewriting and Programming (WRS'01)},
Editor = {B. Gramlich and S. Lucas},
Note = {\url{http://www.elsevier.nl/locate/entcs/volume57.html}},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A Survey of Strategies in Program Transformation Systems},
Volume = {57},
Year = {2001}}
@article{BouhoulaJouannaudMeseguer00,
Author = {Adel Bouhoula and Jean-Pierre Jouannaud and Jos{\'e} Meseguer},
Journal = {Theoretical Computer Science},
Pages = {35-132},
Title = {Specification and Proof in Membership Equational Logic},
Volume = {236},
Year = {2000}}
@inproceedings{Bolognesi90,
Author = {T.~Bolognesi},
Booktitle = {Proc.\ of the 10th International Conference on Distributed Computing Systems, Washington, USA},
Pages = {88-95},
Publisher = {IEEE},
Title = {A Graphical Composition Theorem for Networks of LOTOS Processes},
Year = {1990}}
@article{BolognesiBrinksma87,
Author = {T. Bolognesi and Ed Brinksma},
Journal = {Computer Networks and ISDN Systems},
Title = {Introduction to the {ISO} Specification Language {LOTOS}},
Volume = {14},
Year = {1987}}
@incollection{BolognesiSmolka87,
Address = {Amsterdam, Netherlands},
Author = {Tommaso Bolognesi and S. A. Smolka},
Booktitle = {Proc.\ Protocol Specification, Testing and Verification VII},
Editor = {Harry Rudin and Colin H. West},
Publisher = {North-Holland},
Title = {Fundamental Results for the Verification of Observational Equivalence: {A} Survey},
Year = {1987}}
@inproceedings{BorovanskyKirchnerKirchnerMoreauRingeissenWRLA98,
Author = {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau and Christophe Ringeissen},
Crossref = {KirchnerKirchner98},
Pages = {329-344},
Title = {An Overview of {ELAN}}}
@inproceedings{BoumezbeurLogrippo92,
Author = {Rezki Boumezbeur and Luigi Logrippo},
Booktitle = {Proc.\ International Workshop on Feature Interactions in Telecommunications software Systems},
Editor = {Hugo Velthuijsen and Nancy Griffith and Yow-Jian Lin},
Pages = {95-108},
Title = {Specifying Telephone Systems in {L}{\sc otos} and the Feature Interaction Problem},
Year = {1992}}
@article{BoumezbeurLogrippo93,
Author = {Rezki Boumezbeur and Luigi Logrippo},
Journal = {IEEE Communications Magazine},
Pages = {38-45},
Title = {Specifying Telephone Systems in {L}{\sc otos}},
Year = {1993}}
@phdthesis{Braga-thesis,
Author = {Christiano Braga},
School = {Departamento de Inform\'atica, Pontif\'\i cia Universidade Cat\'olica do Rio de Janeiro, Brazil},
Title = {Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics},
Year = {2001}}
@incollection{Marti-OlietMeseguer99,
Author = {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer},
Booktitle = {Dynamic Worlds: From the Frame Problem to Knowledge Management},
Editor = {R. Pareschi and B. Fronh{\"o}fer},
Pages = {1-53},
Publisher = {Kluwer Academic Publishers},
Series = {Applied Logic Series},
Title = {Action and Change in Rewriting Logic},
Volume = {12},
Year = {1999}}
@inproceedings{BragaHermannMeseguerMosses00,
Author = {Christiano Braga and E. {Hermann Haeusler} and Jos{\'e} Meseguer and Peter D. Mosses},
Booktitle = {Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000, Proceedings},
Editor = {T. Rus},
Pages = {407--421},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic},
Volume = {1816},
Year = {2000}}
@phdthesis{Brinksma88,
Author = {Ed Brinksma},
Month = {November},
School = {University of Twente},
Title = {On the Design of Extended {LOTOS}, a Specification Language for Open Distributed Systems},
Year = {1988}}
@phdthesis{Bruni99,
Address = {Universit\`a di Pisa},
Author = {R. Bruni},
School = {Dipartimento di Informatica},
Title = {Tile Logic for Synchronized Rewriting of Concurrent Systems},
Year = {1999}}
@article{BruniMeseguer06,
Address = {Essex, UK},
Author = {Roberto Bruni and Jos\'{e} Meseguer},
Date-Modified = {2009-01-23 12:46:19 +0100},
Issn = {0304-3975},
Journal = {Theoretical Computer Science},
Number = {1},
Pages = {386--414},
Publisher = {Elsevier},
Title = {Semantic foundations for generalized rewrite theories},
Volume = {360},
Year = {2006},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.tcs.2006.04.012}}
@inproceedings{BruniMeseguerMontanari98,
Author = {Roberto Bruni and Jos\'e Meseguer and Ugo Montanari},
Crossref = {KirchnerKirchner98},
Title = {Internal Strategies in a Rewriting Implementation of Tile Systems}}
@inproceedings{BryansVerdejoShankland01b,
Author = {J. Bryans and A. Verdejo and C. Shankland},
Booktitle = {Proceedings AVoCS'01: Workshop on Automated Verification of Critical Systems},
Note = {Technical report PRG-RR-01-07, Oxford University Computing Laboratory, April 2001},
Title = {Using Rewriting Logic to implement the modal logic {FULL}},
Year = {2001}}
@inproceedings{BryansShankland01,
Author = {Jeremy Bryans and Carron Shankland},
Crossref = {FORTE2001},
Pages = {201-218},
Title = {Implementing a modal logic over data and processes using {XTL}}}
@inproceedings{Buth1994,
Author = {Karl-Heinz Buth},
Booktitle = {Programming Languages and Systems---{ESOP}'94, 5th European Symposium on Programming},
Editor = {Donald Sannella},
Pages = {150--164},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Simulation of {SOS} Definitions with Term Rewriting Systems},
Volume = {788},
Year = {1994}}
@inproceedings{CDELMMQ00-wrla,
Author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Jos{\'e} F. Quesada},
Crossref = {Futatsugi00-wrla},
Pages = {297-318},
Title = {Towards {Maude} 2.0}}
@inproceedings{CalderMaharajShankland01,
Author = {Muffy Calder and Savi Maharaj and Carron Shankland},
Booktitle = {FME 2001: Formal Methods for Increasing Software Productivity},
Editor = {J.N. Oliveira and P. Zave},
Pages = {384-395},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {An Adequate Logic for {Full LOTOS}},
Volume = {2021},
Year = {2001}}
@inproceedings{FidgeShankland01,
Author = {C. Fidge and C. Shankland},
Booktitle = {Proceedings of International Workshop on Applications of Formal Methods to {IEEE} Standard 1394},
Editor = {Savi Maharaj and Judi Romijn and Carron Shankland},
Pages = {15-18},
Title = {But What if I Don't Want To Wait Forever?},
Year = {2001}}
@techreport{CalderShankland00,
Author = {Muffy Calder and Carron Shankland},
Institution = {University of Stirling},
Number = {CSM-159},
Title = {A Symbolic Semantics and Bisimulation for {Full LOTOS}},
Year = {2000}}
@inproceedings{CalderShankland01,
Author = {Muffy Calder and Carron Shankland},
Booktitle = {Proceedings of FORTE 2001, 21st International Conference on Formal Techniques for Networked and Distributed Systems},
Crossref = {FORTE2001},
Pages = {184-200},
Title = {A Symbolic Semantics and Bisimulation for {Full LOTOS}}}
@inproceedings{CarabettaDeganoGadducci98,
Author = {Georgia Carabetta and Pierpaolo Degano and Fabio Gadducci},
Crossref = {KirchnerKirchner98},
Pages = {253-272},
Title = {{CCS} Semantics via Proved Transition Systems and Rewriting Logic}}
@inproceedings{Cardelli99,
Author = {Luca Cardelli},
Booktitle = {Secure Internet Programming: Security Issues for Mobile and Distributed Objects},
Editor = {J. Vitek and C. Jensen},
Pages = {51-94},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Abstractions for mobile computations},
Volume = {1603},
Year = {1999}}
@misc{CiancariniNiestraszTolksdorf,
Author = {P. Ciancarini and O. Niestrasz and R. Tolksdorf},
Note = {\url{ftp://cs.unibo.it/pub/cianca/coordina.ps.gz}},
Title = {A case study in coordination: Conference Management on the {Internet}},
Year = {1998}}
@book{Clavel00,
Author = {Manuel Clavel},
Date-Modified = {2006-11-03 15:33:01 +0100},
Publisher = {{CSLI} Publications, Stanford University},
Title = {Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications},
Year = {2000}}
@inproceedings{Clavel01,
Author = {M.~Clavel},
Booktitle = {Logic, Language and Information. Proceedings of the First Workshop on Logic and Language},
Editor = {A.~Nepomuceno and J.~F.~Quesada and J.~Salguero},
Pages = {55--62},
Publisher = {Kronos},
Title = {The \mbox{ITP} tool},
Year = {2001}}
@phdthesis{Clavel98,
Author = {Manuel Clavel},
School = {Universidad de Navarra},
Title = {Reflection in General Logics and in Rewriting Logic with Applications to the {Maude} Language},
Year = {1998}}
@inproceedings{ClavelDuranEkerLincolnMarti-OlietMeseguerQuesada00a,
Author = {M. Clavel and F. Dur\'an and S. Eker and P. Lincoln and N. Mart\'{\i}-Oliet and J. Meseguer and J. Quesada},
Booktitle = {Proc.\ Third Int.\ Conf.\ Fundamental Approaches to Software Engineering, FASE 2000, Berlin, Germany, March/April 2000},
Editor = {T. Maibaum},
Pages = {371-374},
Publisher = {Springer},
Series = {LNCS 1783},
Title = {Using {M}aude},
Year = {2000}}
@manual{ClavelDuranEkerLincolnMarti-OlietMeseguerQuesada00b,
Author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos{\'e} Meseguer and Jos{\'e} Quesada},
Date-Modified = {2005-06-01 14:27:28 +0200},
Organization = {Computer Science Laboratory, SRI International},
Title = {A {Maude} Tutorial},
Year = {2000}}
@article{ClavelDuranEkerLincolnMarti-OlietMeseguerQuesada02,
Author = {Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer and Jos\'e Quesada},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {187-243},
Title = {{Maude}: specification and programming in rewriting logic},
Volume = {285},
Year = {2002}}
@inproceedings{ClavelDuranEkerLincolnMarti-OlietMeseguerQuesada98,
Author = {Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer and Jos\'e Quesada},
Crossref = {KirchnerKirchner98},
Title = {{Maude} as a Metalanguage}}
@manual{ClavelDuranEkerLincolnMarti-OlietMeseguerQuesada99,
Author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Jos{\'e} Quesada},
Note = {\url{http://maude.cs.uiuc.edu/maude1/manual}},
Organization = {Computer Science Laboratory, SRI International},
Title = {{Maude}: Specification and Programming in Rewriting Logic},
Year = {1999}}
@manual{CDELMOMT07,
Author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott},
Date-Modified = {2007-04-19 15:17:40 -0500},
Month = {January},
Note = {\url{http://maude.cs.uiuc.edu/maude2-manual}},
Title = {{Maude} Manual (Version 2.3)},
Year = {2007}}
@inproceedings{CDELMOMT03b,
Author = {Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart\'\i-Oliet and Jos\'e Meseguer and Carolyn Talcott},
Booktitle = {Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 2003, Proceedings},
Editor = {Robert Nieuwenhuis},
Pages = {76-87},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {The {Maude}~2.0 System},
Volume = {2706},
Year = {2003}}
@inproceedings{ClavelDuranEkerMeseguerStehr99,
Author = {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Jos{\'e} Meseguer and M.-O. Stehr},
Booktitle = {FM'99 --- Formal Methods, Proc.\ World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, Volume II},
Editor = {J. Wing and J. Woodcock and J. Davies},
Pages = {1684--1703},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{Maude} as a Formal Meta-Tool},
Volume = {1709},
Year = {1999}}
@article{ClavelMeseguer01,
Author = {Manuel Clavel and Jos{\'e} Meseguer},
Journal = {Theoretical Computer Science},
Note = {To appear.},
Title = {Reflection in conditional rewriting logic},
Year = {2001}}
@article{ClavelMeseguer02,
Author = {Manuel Clavel and Jos\'e Meseguer},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {245-288},
Title = {Reflection in conditional rewriting logic},
Volume = {285},
Year = {2002}}
@inproceedings{ClavelMeseguer96,
Author = {Manuel Clavel and Jos{\'e} Meseguer},
Crossref = {Meseguer96-wrla},
Title = {Reflection and strategies in rewriting logic}}
@inproceedings{ClavelMeseguer97,
Author = {Manuel Clavel and Jos\'e Meseguer},
Booktitle = {IMSA'97},
Pages = {128-139},
Publisher = {Information-Technology Promotion Agency, Japan},
Title = {Reflection in rewriting logic and its applications in the {Maude} language},
Year = {1997}}
@article{Cleaveland:2002:GTV,
Author = {Rance Cleaveland and Steven T. Sims},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Number = {1},
Pages = {39--47},
Title = {Generic tools for verifying concurrent systems},
Volume = {42},
Year = {2002}}
@inproceedings{CleavelandMadelaineSims95,
Author = {Rance Cleaveland and E. Madelaine and Steven T. Sims},
Booktitle = {Proc.\ of the Int.\ Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95)},
Pages = {153--173},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A front-end generator for verification tools},
Volume = {1019},
Year = {1995}}
@inproceedings{CleavelandParrowSteffen89,
Author = {R. Cleaveland and Joachim Parrow and Bernard Steffen},
Booktitle = {Proc. Workshop Automatic Verification Methods for Finite-State Systems},
Publisher = {Springer},
Series = {LNCS},
Title = {The Concurrency Workbench},
Year = {1989}}
@article{CleavelandParrowSteffen93,
Author = {R. Cleaveland and J. Parrow and B. Steffen},
Journal = {ACM Transactions on Programming Languages and Systems},
Number = {1},
Pages = {36--72},
Title = {The {Concurrency} {Workbench}: A Semantics-Based Tool for the Verification of finite-state systems},
Volume = {15},
Year = {1993}}
@proceedings{Dam97,
Editor = {M. Dam},
Publisher = {Springer},
Series = {LNCS 1192},
Title = {Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (Stockholm, Sweden, June 24-26, 1996)},
Year = {1997}}
@unpublished{DeganoGadducciPriami00,
Author = {Pierpaolo Degano and Fabio Gadducci and Corrado Priami},
Note = {Manuscript, Dipartimento di Informatica, Universit{\`a} di Pisa, submitted for publication},
Title = {A Causal Semantics for {CCS} via Rewriting Logic},
Year = {2000}}
@article{DeganoGadducciPriami02,
Author = {Pierpaolo Degano and Fabio Gadducci and Corrado Priami},
Journal = {Theoretical Computer Science},
Number = {1--2},
Pages = {259-282},
Title = {A Causal Semantics for {CCS} via Rewriting Logic},
Volume = {275},
Year = {2002}}
@inproceedings{DenkerMeseguerTalcott00,
Author = {Grit Denker and Jos{\'e} Meseguer and Carolyn Talcott},
Booktitle = {Proc.\ {DARPA} Information Survivability Conference and Exposition {DICEX} 2000, Vol.\ 1, Hilton Head, South Carolina, January 2000},
Pages = {251-265},
Publisher = {IEEE},
Title = {Formal specification and analysis of active networks and communication protocols: The {Maude} experience},
Year = {2000}}
@inproceedings{DenkerMeseguerTalcott98,
Author = {Grit Denker and Jos{\'e} Meseguer and Carolyn Talcott},
Booktitle = {Proc.\ of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana},
Editor = {N. Heintze and J. Wing},
Note = {\url{http://www.cs.bell-labs.com/who/nch/fmsp/index.html}},
Title = {Protocol Specification and Analysis in {Maude}},
Year = {1998}}
@inproceedings{DenkerMillen00,
Author = {Grit Denker and Jon Millen},
Booktitle = {Proceedings {DARPA} Information Survivability Conference and Exposition, {DISCEX 2000}, Hilton Head Island, South Carolina, January 25-27, 2000},
Editor = {D. Maughan and G. Koob and S. Saydjari},
Note = {\url{http://schafercorp-ballston.com/discex/}},
Pages = {207-222},
Publisher = {IEEE Computer Society Press},
Title = {{CAPSL} Integrated Protocol Environment},
Year = {2000}}
@inproceedings{Despeyroux84,
Author = {Thierry Despeyroux},
Booktitle = {Semantics of Data Types},
Editor = {G. Kahn and D. B. MacQueen and G. D. Plotkin},
Pages = {215-233},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Executable specification of static semantics},
Volume = {173},
Year = {1984}}
@techreport{Despeyroux88,
Author = {Thierry Despeyroux},
Institution = {INRIA},
Number = {94},
Title = {{TYPOL}: {A} Formalism to Implement Natural Semantics},
Type = {Research Report},
Year = {1988}}
@techreport{DevillersGriffioenRomijnVaandrager97,
Institution = {Computing Science Institute, University of Nijmegen},
Number = {CSI-R9728},
Title = {Verification of a Leader Election Protocol --- Formal Methods Applied to {IEEE 1394}},
Year = {1997}}
@techreport{Dijkstra65,
Author = {E. W. Dijkstra},
Institution = {Technological University Eindhoven},
Number = {EWD-123},
Title = {Cooperating Sequential Processes},
Year = {1965}}
@book{Dijkstra76,
Author = {E. W. Dijkstra},
Publisher = {Prentice-Hall},
Title = {A Discipline of Programming},
Year = {1976}}
@phdthesis{Duran99,
Author = {Francisco Dur\'an},
School = {Universidad de M\'alaga},
Title = {A Reflective Module Algebra with Applications to the {Maude} Language},
Year = {1999}}
@inproceedings{DuranEkerLincolnMeseguer00,
Author = {F. Dur\'an and S. Eker and P. Lincoln and J. Meseguer},
Booktitle = {Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 13--15, 2000, Proceedings},
Date-Modified = {2006-01-07 17:33:43 +0100},
Editor = {D. Kotz and F. Mattern},
Pages = {73-85},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Principles of {Mobile Maude}},
Volume = {1882},
Year = {2000}}
@inproceedings{Eertink95,
Author = {H. Eertink},
Booktitle = {LotoSphere: Software Development with {LOTOS}},
Editor = {T. Bolognesi and J. Lagemaat and C. Vissers},
Publisher = {Kluwer Academic Publishers},
Title = {Executing {LOTOS} specifications: the {SMILE} tool},
Year = {1995}}
@book{EhrigMahr85,
Author = {H. Ehrig and B. Mahr},
Publisher = {Springer},
Series = {{EATCS} Monographs on Theoretical Computer Science},
Title = {Fundamentals of Algebraic Specification 1: Equations and Initial Semantics},
Year = {1985}}
@book{Eijk89,
Abstract = {{\bf Summary:} LOTOS is a formal description technique{\newline} that has been developed for the specification of{\newline} distributed systems, in particular computer networks, and{\newline} is now International Standard 8807. The book gives an{\newline} overview of LOTOS including a tutorial, realistic{\newline} specification examples, verification theory and{\newline} supporting software tools.},
Address = {New York},
Author = {Peter H. J. van Eijk and Chris A. Vissers and Michel Diaz},
Publisher = {North-Holland},
Title = {The Formal Description Technique {LOTOS}: Results of the {ESPRIT}/{SEDOS} Project},
Year = {1989}}
@inproceedings{FGKM96,
Author = {J. C. Fern{\'a}ndez and H. Garavel and A. Kerbrat and L. Mounier and R. Mateescu and M. Sighireanu},
Booktitle = {Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
Editor = {Rajeev Alur and Thomas A. Henzinger},
Pages = {437-440},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{CADP}: a Protocol Validation and Verification Toolbox},
Volume = {1102},
Year = {1996}}
@proceedings{FORTE2001,
Editor = {M. Kim and B. Chin and S. Kang and D. Lee},
Publisher = {Kluwer Academic Publishers},
Title = {Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. IFIP Conference Proceedings 197},
Year = {2001}}
@inproceedings{FernandezGaravelMounierRasseRodriguez92,
Author = {J. C. Fern{\'a}ndez and H. Garavel and L. Mounier and A. Rasse and C. Rodriguez},
Booktitle = {Proc.\ 14th International Conference on Software Engineering and its Applications},
Pages = {246-259},
Title = {A Toolbox for the Verification of {LOTOS} Programs},
Year = {1992}}
@inproceedings{FernandezToval00,
Address = {San Jos\'e, California},
Author = {Jos{\'e} Luis Fern{\'a}ndez and Ambrosio Toval},
Booktitle = {International Symposium on Software Reliability Engineering},
Editor = {Frances M. Titsworth},
Pages = {344-355},
Publisher = {IEEE Press},
Title = {Can Intuition Become Rigorous? {F}oundations for {UML} Model Verification Tools},
Year = {2000}}
@inproceedings{FernandezToval01,
Author = {Jos{\'e} Luis Fern{\'a}ndez and Ambrosio Toval},
Booktitle = {Unified Modeling Language: Systems Analysis, Design, and Development Issues},
Editor = {Keng Siau and Terry Halpin},
Pages = {224-248},
Publisher = {Idea Group Publishing},
Title = {Seamless Formalizing the {UML} Semantics through Metamodels},
Year = {2001}}
@inproceedings{FiadeiroMaibaumMarti-OlietMeseguerPita00,
Author = {J. Fiadeiro and T. Maibaum and N. Mart\'\i-Oliet and J. Meseguer and I. Pita},
Booktitle = {Recent Trends in Algebraic Development Techniques, WADT'99, France, Selected Papers},
Editor = {D. Bert and C. Choppy},
Publisher = {Springer},
Series = {LNCS 1827},
Title = {Towards a Verification Logic for Rewriting Logic},
Year = {2000}}
@book{Floyd94,
Author = {Thomas L. Floyd},
Publisher = {Macmillan Publishing Company},
Title = {Digital Fundamentals},
Year = {1994}}
@unpublished{FrutosLeducLeonardLlanaMiguelQuemadaRabay95,
Author = {D. de Frutos and G. Leduc and L. L\'eonard and L. Llana and C. Miguel and J. Quemada and G. Rabay},
Note = {In \emph{Working draft on Enhancements to {LOTOS}}. {ISO/IEC JTC1/SC21/WG1}},
Title = {Time extended {LOTOS}},
Year = {1995}}
@phdthesis{Vittek94,
Author = {Marian Vittek},
School = {Universit\'e Henri Poincar\'e -- Nancy I},
Title = {{ELAN}: Un Cadre Logique pour le Prototypage de Langages de Programmation avec Contraintes},
Year = {1994}}
@inproceedings{Stehr00,
Author = {Mark-Oliver Stehr},
Crossref = {Futatsugi00-wrla},
Pages = {71-92},
Title = {{CINNI} --- {A} Generic Calculus of Explicit Substitutions and its Application to $\lambda$-, $\varsigma$- and $\pi$-Calculi}}
@incollection{Gamble90,
Author = {Mark Gamble},
Booktitle = {Proc. Formal Description Techniques III},
Editor = {Juan Quemada and Jose A. Ma{\~n}as and Enrique V\'azquez},
Publisher = {North-Holland},
Title = {The {CCSDS} Protocol Validation Programme Inter-Agency Testing using {LOTOS}},
Year = {1990}}
@unpublished{Garavel95a,
Author = {Hubert Garavel},
Note = {Input document to the {ISO/IEC} {JTC1/SC21/WG7} Meeting on Enhancements to {LOTOS} (1.21.20.2.3), Li\`ege, 1995},
Title = {A wish list for the behaviour part of {LOTOS}},
Year = {1995}}
@inproceedings{Garavel95b,
Author = {H. Garavel},
Booktitle = {Proceedings of the 15th {IFIP} international workshop on protocol specification, testing and verification},
Editor = {Piotr Dembinski and Marek Sredniawa},
Publisher = {Chapman \& Hall},
Title = {On the introduction of gate typing in {E-LOTOS}},
Year = {1995}}
@inproceedings{Garavel96,
Author = {Hubert Garavel and Mihaela Sighireanu},
Booktitle = {Proc.\ of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'96 (Kaiserslautern, Germany)},
Editor = {Reinhard Gotzhein and Jan Bredereke},
Pages = {469-484},
Publisher = {Chapman \& Hall},
Title = {On the Introduction of Exceptions in {LOTOS}},
Year = {1996}}
@incollection{GaravelHautbois93,
Author = {Hubert Garavel and Rene-Pierre Hautbois},
Booktitle = {Theories and Experiences for Real-Time System Development},
Editor = {Teodor Rus and Charles Rattray},
Publisher = {World Scientific},
Series = {Computing: Vol 2},
Title = {Experimenting with {LOTOS} in the Aerospace Industry},
Year = {1993}}
@inproceedings{GaravelSifakis90,
Author = {Hubert Garavel and Joseph Sifakis},
Booktitle = {Proc. Protocol Specification, Testing and Verification X},
Editor = {Luigi M. S. Logrippo and Robert L. Probert and Hassan Ural},
Publisher = {North-Holland},
Title = {Compilation and verification of {LOTOS} specifications},
Year = {1990}}
@article{GeorgakopoulosHornickSheth95,
Author = {D. Georgakopoulos and M. Hornick and A. Sheth},
Journal = {Distributed and Parallel Databases},
Pages = {119--153},
Publisher = {Kluwer Academic Publishers},
Title = {An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure},
Volume = {3},
Year = {1995}}
@inproceedings{GhribiLogrippo93,
Author = {B. Ghribi and L. Logrippo},
Booktitle = {Protocol Specification, Testing and Verification {XIII}, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Li{\`e}ge, Belgium, 25-28 May, 1993},
Editor = {A. Danthine and G. Leduc and P. Wolper},
Pages = {93-108},
Publisher = {North-Holland},
Title = {A Validation Environment for {LOTOS}},
Year = {1993}}
@book{GordonMelham93,
Author = {M. Gordon and T. Melham},
Publisher = {Cambridge University Press},
Title = {Introduction to {HOL}: {A} Theorem Proving Environment for Higher Order Logic},
Year = {1993}}
@article{Groote93,
Author = {J. F. Groote},
Journal = {Theoretical Computer Science},
Pages = {263-299},
Title = {Transition System Specifications with Negative Premises},
Volume = {118},
Year = {1993}}
@inproceedings{GrootePonse95,
Author = {J.F.~Groote and A.~Ponse},
Booktitle = {Proceedings of Algebra of Communicating Processes, Utrecht 1994},
Publisher = {Springer},
Series = {Workshops in Computing},
Title = {{The Syntax and Semantics of $\mu$-CRL}},
Year = {1995}}
@inproceedings{GuillemotHaj-HusseinLogrippo88,
Author = {R. Guillemot and M. Haj-Hussein and L. Logrippo},
Booktitle = {Protocol Specification, Testing, and Verification {VIII}, Proceedings of the IFIP TC6/WG6.1 Eighth International Symposium on Protocol Specification, Testing and Verification, Atlantic City, USA},
Editor = {S. Aggarwal and K. Sabnani},
Pages = {399-410},
Publisher = {North-Holland},
Title = {Executing Large {LOTOS} Specifications},
Year = {1988}}
@book{Hennessy88,
Author = {Matthew Hennessy},
Publisher = {MIT Press},
Title = {Algebraic Theory of Processes},
Year = {1988}}
@book{Hennessy90,
Author = {Matthew Hennessy},
Publisher = {John Wiley \& Sons},
Title = {The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics},
Year = {1990}}
@article{HennessyLin95,
Author = {M. Hennessy and H. Lin},
Journal = {Theoretical Computer Science},
Pages = {353-389},
Title = {Symbolic Bisimulations},
Volume = {138},
Year = {1995}}
@inproceedings{HennessyMilner80,
Author = {M. Hennessy and R. Milner},
Booktitle = {Proceedings $7^{th}$ {ICALP}, {\em Noordwijkerhout}},
Editor = {J. W. de Bakker and J. van Leeuwen},
Pages = {299-309},
Publisher = {Springer},
Series = {LNCS 85},
Title = {On observing nondeterminism and concurrency},
Year = {1980}}
@article{HennessyMilner85,
Abstract = {Since a nondeterministic and concurrent program may, in{\newline} general, communicate repeatedly with its environment, its{\newline} meaning cannot be presented naturally as an input\slash{\newline} output function (as is often done in the denotational{\newline} approach to semantics). In this paper, an alternative is{\newline} put forth. First, a definition is given of what it is for{\newline} two programs or program parts to be equivalent for all{\newline} observers; then two program parts are said to be{\newline} observation congruent if they are, in all program{\newline} contexts, equivalent. The behavior of a program part,{\newline} that is, its meaning, is defined to be its observation{\newline} congruence class. The paper demonstrates, for a sequence{\newline} of simple languages expressing finite (terminating){\newline} behaviors, that in each case observation congruence can{\newline} be axiomatized algebraically. Moreover, with the addition{\newline} of recursion and another simple extension, the algebraic{\newline} language described here becomes a calculus for writing{\newline} and specifying concurrent programs and for proving their{\newline} properties.},
Author = {M. Hennessy and R. Milner},
Journal = {Journal of the ACM},
Number = {1},
Pages = {137-161},
Title = {Algebraic Laws for Nondeterminism and Concurrency},
Volume = {32},
Year = {1985}}
@inproceedings{HennessyRiely99,
Author = {M. Hennessy and J. Riely},
Booktitle = {Secure Internet Programming: Security Issues for Distributed and Mobile Objects},
Publisher = {Springer},
Series = {LNCS},
Title = {Type-Safe Execution of Mobile Agents in Anonymous Networks},
Year = {1999}}
@inproceedings{EDEN,
Author = {S. Breitinger and R. Loogen and Y. Ortega-Mall\'en and R. Pe{\~n}a-Mar\'{\i}},
Booktitle = {Euro-Par '96 Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings},
Crossref = {europar96},
Date-Modified = {2007-05-22 16:05:43 -0500},
Editor = {Luc Bouge and Pierre Fraigniaud and Anne Mignotte and Yves Robert},
Pages = {710-713},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Eden -- {T}he Paradise of Functional Concurrent Programming},
Volume = {1123},
Year = {1996}}
@article{HidalgoOrtega02,
Author = {Mercedes Hidalgo-Herrero and Yolanda Ortega-Mall\'en},
Journal = {Parallel Processing Letters},
Number = {2},
Pages = {211-228},
Title = {An Operational Semantics for the Parallel Language {Eden}},
Volume = {12},
Year = {2002}}
@techreport{HiTurner97,
Address = {University of Stirling, {UK}},
Author = {Ji He and Kenneth J. Turner},
Date-Modified = {2005-05-28 17:12:27 +0200},
Institution = {Department of Computing Science and Mathematics},
Number = {CSM-142},
Title = {Extended {DILL}: Digital Logic in {LOTOS}},
Year = {1997}}
@inproceedings{Hirschkoff97,
Author = {D. Hirschkoff},
Booktitle = {Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
Pages = {153--169},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A Full Formalisation of $\pi$-Calculus Theory in the Calculus of Constructions},
Volume = {1275},
Year = {1997}}
@book{Hoare85,
Author = {C. A. R. Hoare},
Publisher = {Prentice-Hall},
Title = {Communicating Sequential Processes},
Year = {1985}}
@article{HonsellMiculanScagnetto01,
Author = {Furio Honsell and Marino Miculan and Ivan Scagnetto},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {239-285},
Title = {$\pi$-calculus in (Co)inductive-type theory},
Volume = {253},
Year = {2001}}
@inproceedings{IMWFN97,
Author = {Hiroshi Ishikawa and Jos{\'e} Meseguer and Takuo Watanabe and Kokichi Futatsugi and Hideyuki {}Nakashima},
Booktitle = {Proceedings IMSA'97},
Pages = {70-109},
Publisher = {Information-Technology Promotion Agency, Japan},
Title = {On the semantics of {GAEA} --- {A}n object-oriented specification of a concurrent reflective language in rewriting logic},
Year = {1997}}
@misc{BLMRSV02a,
Author = {Margarita Bradley and Luis Llana and Narciso Mart\'\i-Oliet and Tom\'as Robles and Joaqu{\'\i}n Salvach{\'u}a and Alberto Verdejo},
Date-Modified = {2005-06-01 16:46:19 +0200},
Note = {Poster paper at ISWC 2002},
Title = {Giving semantics to {RDF} by mapping into rewriting logic},
Year = {2002}}
@inproceedings{BLMRSV02b,
Address = {El Escorial, Madrid, Spain},
Author = {Margarita Bradley and Luis Llana and Narciso Mart\'\i-Oliet and Tom\'as Robles and Joaqu{\'\i}n Salvach{\'u}a and Alberto Verdejo},
Booktitle = {Segundas Jornadas sobre Programaci\'on y Lenguajes (PROLE 2002)},
Date-Modified = {2005-06-01 16:46:57 +0200},
Editor = {Ricardo Pe{\~n}a and \'Angel Herranz and Juan Jos\'e Moreno},
Pages = {167-182},
Title = {Transforming information in {RDF} to rewriting logic},
Year = {2002}}
@incollection{HuecasLlana-DiazQuemadaRoblesVerdejo00,
Author = {Gabriel Huecas and Luis Llana-D{\'\i}az and Juan Quemada and Tom\'as Robles and Alberto Verdejo},
Booktitle = {Formal Methods for Distributed Processing. A Survey of Object-Oriented Aproaches},
Chapter = {5},
Editor = {H. Bowman and J. Derrick},
Pages = {77-104},
Publisher = {Cambridge University Press},
Title = {Process Calculi: {E-LOTOS}},
Year = {2001}}
@inproceedings{HuecasLlanaDiazRoblesVerdejo99,
Author = {Gabriel Huecas and Luis Llana-D{\'\i}az and Tom\'as Robles and Alberto Verdejo},
Booktitle = {Formal Methods and Telecommunications (FM\&T'99)},
Date-Modified = {2005-05-30 10:28:08 +0200},
Editor = {Marco Ajmone Marsan and Juan Quemada and Tom\'as Robles and Manuel Silva},
Pages = {94-102},
Publisher = {Prensas Universitarias de Zaragoza},
Title = {{E-LOTOS}: an Overview},
Year = {1999}}
@article{Gunter91,
Author = {C. Gunter},
Journal = {Bulletin of the EATCS},
Pages = {98-113},
Title = {Forms of semantic specificacions},
Volume = {45},
Year = {1991}}
@book{NielsonNielson92,
Author = {H. R. Nielson and F. Nielson},
Publisher = {John Wiley and Sons},
Title = {Semantics with Applications: A Formal Introduction},
Year = {1992}}
@techreport{Kahn87,
Author = {Gilles Kahn},
Institution = {INRIA Sophia Antipolis},
Number = {601},
Title = {Natural Semantics},
Year = {1987}}
@incollection{kahn87-stacs,
Author = {Gilles Kahn},
Booktitle = {STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings},
Editor = {Franz-Josef Brandenburg and Guy Vidal-Naquet and Martin Wirsing},
Pages = {22--39},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Natural Semantics},
Volume = {247},
Year = {1987}}
@techreport{HuetKahnPaulin02,
Author = {G{\'e}rard Huet and Gilles Kahn and Christine Paulin-Mohring},
Institution = {INRIA},
Number = {256},
Title = {The {Coq} proof assistant: a tutorial: version 7.2},
Type = {Technical Report},
Year = {2002},
Bdsk-Url-1 = {ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RT/RT-0256.pdf}}
@manual{IEEE1394,
Key = {IEEE 1394},
Organization = {Institute of Electrical and Electronics Engineers},
Title = {{IEEE Standard for a High Performance Serial Bus. Std 1394-1995}},
Year = {1995}}
@misc{IEEE1394workshop,
Author = {Carron Shankland and Savi Maharaj and Judi Romijn},
Note = {\url{http://www.cs.stir.ac.uk/firewire-workshop}},
Title = {International workshop on application of formal methods to {IEEE 1394} standard},
Year = {2001}}
@proceedings{KirchnerKirchner98,
Booktitle = {Proceedings Second International Workshop on Rewriting Logic and its Applications, WRLA'98, Pont-\`a-Mousson, France, September 1--4, 1998},
Editor = {Claude Kirchner and H\'el\`ene Kirchner},
Note = {\url{http://www.elsevier.nl/locate/entcs/volume15.html}},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Proceedings Second International Workshop on Rewriting Logic and its Applications, WRLA'98, Pont-\`a-Mousson, France, September 1--4, 1998},
Volume = {15},
Year = {1998}}
@phdthesis{Kirkwood94,
Author = {Carron Kirkwood},
School = {University of Glasgow},
Title = {Verification of {LOTOS} Specifications using Term Rewriting Techniques},
Year = {1994}}
@incollection{Kirkwood96,
Address = {London, UK},
Author = {Carron Kirkwood},
Booktitle = {Proc. Formal Description Techniques VIII},
Editor = {Gregor {von Bochmann} and Rachida Dssouli and Omar Rafiq},
Pages = {109-116},
Publisher = {Chapman-Hall},
Title = {Specifying Properties of Basic {L}{\sc otos} Processes using Temporal Logic},
Year = {1996}}
@inproceedings{KirkwoodThomas96,
Author = {C.~Kirkwood and M.~Thomas},
Booktitle = {Proceedings of the Northern Formal Methods Workshop},
Editor = {A.~Evans and D.~Duke},
Publisher = {Springer},
Series = {Electronic Workshops in Computing},
Title = {Towards a Symbolic Modal Logic for {Full LOTOS}},
Year = {1997}}
@article{KutterPiarantonio97,
Author = {Philipp W. Kutter and Alfonso Pierantonio},
Journal = {Journal of Universal Computer Science},
Number = {5},
Pages = {416--442},
Title = {Montages Specifications of Realistic Programming Languages},
Volume = {3},
Year = {1997}}
@inproceedings{LambdaProlog88,
Author = {Amy Felty and Elsa Gunter and John Hannan and Dale Miller and Gopalan {}Nadathur and Andre Scedrov},
Booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings},
Editor = {E. Lusk and R. Overbeek},
Pages = {754--755},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{Lambda Prolog}: An Extended Logic Programming Language},
Volume = {310},
Year = {1988}}
@inproceedings{LammelRiedewald01,
Author = {Ralf L\"ammel and G\"unter Riedewald},
Booktitle = {First Workshop on Language Descriptions, Tools and Applications (LDTA'01)},
Editor = {Mark van den Brand and Didier Parigot},
Issue = {2},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Prological Language Processing},
Volume = {44},
Year = {2001}}
@misc{LeducLeonard94,
Author = {Guy Leduc and Luc Leonard},
Howpublished = {ISO/IEC},
Note = {Source: JTC1/SC21/WG1/Q48.6},
Title = {A formal definition of time in {LOTOS}},
Year = {1994}}
@inproceedings{LeuckerNoll99,
Author = {M. Leucker and T. Noll},
Booktitle = {Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping},
Pages = {60--65},
Publisher = {IEEE Computer Society Press},
Title = {Rapid Prototyping of Specification Language Implementations},
Year = {1999}}
@incollection{LincolnMarti-OlietMeseguer94,
Author = {Patrick Lincoln and Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer},
Booktitle = {Specification of Parallel Algorithms, {DIMACS} Workshop, May 9-11, 1994},
Editor = {G. E. Blelloch and K. M. Chandy and S. Jagannathan},
Pages = {309--339},
Publisher = {American Mathematical Society},
Title = {Specification, transformation, and programming of concurrent systems in rewriting logic},
Year = {1994}}
@article{LogrippoFaciHaj-Hussein92,
Author = {L.~Logrippo and M.~Faci and M.~Haj-Hussein},
Journal = {Computer Networks and {ISDN} Systems},
Pages = {325-342},
Title = {An Introduction to {LOTOS}: Learning by Examples},
Volume = {23},
Year = {1992}}
@manual{Lotos89,
Address = {Geneva},
Author = {{ISO/IEC}},
Organization = {International Standard 8807, International Organization for standardization --- Information Processing Systems --- Open Systems Interconnection},
Title = {{LOTOS}---A formal description technique based on the temporal ordering of observational behaviour},
Year = {1989}}
@techreport{Luo92,
Author = {Zhaohui Luo and Robert Pollack},
Institution = {University of Edinburgh},
Number = {ECS-LFCS-92-211},
Title = {The {LEGO} Proof Development System: {A} User's Manual},
Year = {1992}}
@article{MaharajRomijnShankland02,
Author = {S. Maharaj and J. Romijn and C. Shankland},
Editor = {J. Cooke and S. Maharaj and J. Romijn and C. Shankland},
Journal = {Formal Aspects of Computing},
Number = {3},
Pages = {AA-BB},
Title = {{IEEE} 1394 Tree Identify Protocol: Introduction to the Case Study},
Volume = {14},
Year = {2002}}
@article{FidgeShankland02,
Author = {C. Fidge and C. Shankland},
Editor = {J. Cooke and Savi Maharaj and Judi Romijn and Carron Shankland},
Journal = {Formal Aspects of Computing},
Number = {3},
Pages = {CC-DD},
Title = {But What if I Don't Want To Wait Forever?},
Volume = {14},
Year = {2002}}
@article{CalderMiller02,
Author = {M. Calder and A. Miller},
Editor = {J. Cooke and S. Maharaj and J. Romijn and C. Shankland},
Journal = {Formal Aspects of Computing},
Number = {Y},
Pages = {EE-FF},
Title = {Using {SPIN} to Analyse the Tree Identification Phase of the {IEEE} 1394 High Performance Serial Bus ({FireWire}) Protocol},
Volume = {X},
Year = {2002}}
@article{SchuppanBiere02,
Author = {Viktor Schuppand and Armin Biere},
Editor = {J. Cooke and S. Maharaj and J. Romijn and C. Shankland},
Journal = {Formal Aspects of Computing},
Number = {Y},
Pages = {GG-HH},
Title = {Verifying the {IEEE} 1394 {FireWire} Tree Identify Protocol with {SMV}},
Volume = {X},
Year = {2002}}
@article{MaharajShankland00,
Author = {S. Maharaj and C. Shankland},
Journal = {Journal of Universal Computer Science},
Number = {11},
Pages = {1145--1163},
Title = {{A Survey of Formal Methods Applied to Leader Election in IEEE 1394}},
Volume = {6},
Year = {2000}}
@incollection{Marti-OlietMeseguer02b,
Author = {Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer},
Booktitle = {Handbook of Philosophical Logic, Second Edition, Volume 9},
Date-Modified = {2006-10-24 20:53:13 +0200},
Editor = {D. M. Gabbay and F. Guenthner},
Note = {First published as SRI Technical Report SRI-CSL-93-05, August 1993.},
Pages = {1--87},
Publisher = {Kluwer Academic Publishers},
Title = {Rewriting logic as a logical and semantic framework},
Year = {2002}}
@techreport{Marti-OlietMeseguer93,
Author = {N. Mart\'{\i}-Oliet and J. Meseguer},
Institution = {SRI International, Computer Science Laboratory},
Note = {\url{http://maude.cs.uiuc.edu/papers}},
Number = {SRI-CSL-93-05},
Title = {Rewriting Logic as a Logical and Semantic Framework},
Year = {1993},
Ymas = {Short version in J. Meseguer, editor, \cite{Meseguer96-wrla}.}}
@article{Marti-OlietMeseguer02,
Author = {Narciso Mart\'\i-Oliet and Jos\'e Meseguer},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {121-154},
Title = {Rewriting logic: roadmap and bibliography},
Volume = {285},
Year = {2002}}
@article{MathewsJacobs96,
Author = {G. Mathews and Barry Jacobs},
Journal = {Computer Networks and ISDN Systems},
Number = {7--11},
Pages = {1523--1538},
Title = {Electronic Management of the Peer Review Process},
Volume = {28},
Year = {1996}}
@book{MauwVeltink93,
Booktitle = {Algebraic Specification of Communication Protocols},
Editor = {S. Mauw and G.J. Veltink},
Series = {Cambridge Tracts in Theoretical Computer Science 36},
Title = {Algebraic Specification of Communication Protocols},
Year = {1993}}
@article{Melham94,
Author = {T. F. Melham},
Journal = {Nordic Journal of Computing},
Number = {1},
Pages = {50--76},
Title = {A mechanized theory of the {$\pi$}-calculus in {HOL}},
Volume = {1},
Year = {1994}}
@inproceedings{Meseguer90,
Author = {Jos{\'e} Meseguer},
Booktitle = {{CONCUR}'90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 1990, Proceedings},
Editor = {J. C. M. Baeten and J. W. Klop},
Pages = {384-400},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Rewriting as a Unified Model of Concurrency},
Volume = {458},
Year = {1990}}
@article{Meseguer92-tcs,
Author = {Jos\'e Meseguer},
Journal = {Theoretical Computer Science},
Number = {1},
Pages = {73-155},
Title = {Conditional Rewriting Logic as a Unified Model of Concurrency},
Volume = {96},
Year = {1992}}
@incollection{Meseguer93,
Author = {Jos\'e Meseguer},
Booktitle = {Research Directions in Concurrent Object-Oriented Programming},
Editor = {Gul Agha and Peter Wegner and Akinori Yonezawa},
Pages = {314--390},
Publisher = {The MIT Press},
Title = {A Logical Theory of Concurrent Objects and its realization in the {Maude} Language},
Year = {1993}}
@inproceedings{Meseguer96,
Author = {Jos{\'e} Meseguer},
Booktitle = {{CONCUR}'96: Concurrency Theory, 7th International Conference, Pisa, Italy, August 26--29, 1996, Proceedings},
Editor = {Ugo Montanari and Vladimiro Sassone},
Pages = {331-372},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Rewriting logic as a semantic framework for concurrency: {A} progress report},
Volume = {1119},
Year = {1996}}
@inproceedings{Meseguer98,
Author = {Jos\'e Meseguer},
Booktitle = {Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany, July 29 -- August 6, 1997},
Editor = {U. Berger and H. Schwichtenberg},
Pages = {347--398},
Publisher = {Springer},
Series = {NATO ASI Series F: Computer and Systems Sciences 165},
Title = {Research Directions in Rewriting Logic},
Year = {1998}}
@inproceedings{MeseguerClavel96,
Author = {Manuel Clavel and Jos\'e Meseguer},
Booktitle = {Proceedings of Reflection'96},
Editor = {Gregor Kiczales},
Pages = {263--288},
Sponsor = {Xerox PARC},
Title = {Axiomatizing Reflective Logics and Languages},
Year = {1996}}
@inproceedings{MeseguerFutatsugiWinkler92,
Address = {Tokyo, Japan},
Author = {Jos{\'e} Meseguer and Kokichi Futatsugi and Timothy Winkler},
Booktitle = {Proceedings of the 1992 International Symposium on New Models for Software Architecture},
Pages = {61-106},
Publisher = {Research Institute of Software Engineering},
Title = {Using Rewriting Logic to Specify, Program, Integrate, and Reuse Open Concurrent Systems of Cooperating Agents},
Year = {1992}}
@book{Milner89,
Author = {Robin Milner},
Publisher = {Prentice-Hall},
Title = {Communication and Concurrency},
Year = {1989}}
@inproceedings{Mosses99,
Author = {Peter D. Mosses},
Booktitle = {Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6--10, 1999, Proceedings},
Editor = {M. Kutylowski and L. Pacholksi and T. Wierzbicki},
Note = {The full version appears as Technical Report RS-99-54, BRICS, Dept. of Computer Science, University of Aarhus.},
Pages = {70-80},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Foundations of Modular {SOS}},
Volume = {1672},
Year = {1999}}
@techreport{Mosses99-TR,
Author = {Peter D. Mosses},
Institution = {BRICS, Department of Computer Science, University of Aarhus},
Number = {Research Series RS-99-54},
Title = {Foundations of Modular {SOS}},
Year = {1999}}
@inproceedings{Nesi00,
Author = {Monica Nesi},
Booktitle = {Infinity'96, First International Workshop on Verification of Infinite State Systems},
Editor = {B. Steffen and D. Caucal},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Mechanising a modal logic for value-passing agents in {HOL}},
Volume = {5},
Year = {1996}}
@article{Nesi99,
Author = {Monica Nesi},
Journal = {Formal Aspects of Computing},
Pages = {160-199},
Title = {Formalising a Value-Passing Calculus in {HOL}},
Volume = {11},
Year = {1999}}
@inproceedings{NicollinSifakis91,
Author = {X. Nicollin and J. Sifakis},
Booktitle = {Computer Aided Design},
Pages = {376-398},
Series = {LNCS 575},
Title = {An Overview and Synthesis on Timed Process Algebras},
Year = {1991}}
@article{NicollinSifakis94,
Author = {X. Nicollin and J. Sifakis},
Journal = {Information and Computation},
Pages = {131-178},
Title = {The Algebra of Timed Processes, {ATP}: Theory and Application},
Volume = {114},
Year = {1994}}
@article{Nipkow98,
Author = {Tobias {}Nipkow},
Journal = {Formal Aspects of Computing},
Number = {2},
Pages = {171-186},
Title = {Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},
Volume = {10},
Year = {1998}}
@book{NipkowPaulsonWenzel02,
Author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Isabelle/{HOL}: A Proof Assistant for Higher-Order Logic},
Volume = {2283},
Year = {2002}}
@misc{Olveczky00,
Author = {Peter \"Olveczky},
Note = {\url{http://www.csl.sri.com/~peter/AER/AER.html}},
Title = {Specifying and analyzing the {AER/NCA} active networks protocols in {Maude}},
Year = {2000}}
@phdthesis{Olveczky00-thesis,
Author = {Peter Csaba {\"O}lveczky},
Note = {\url{http://maude.cs.uiuc.edu/papers}},
School = {University of Bergen, Norway},
Title = {Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic},
Year = {2000}}
@article{OlveczkyMeseguer02,
Author = {Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {359-405},
Title = {Specification of real-time and hybrid systems in rewriting logic},
Volume = {285},
Year = {2002}}
@inproceedings{OlveczkyMeseguer96,
Author = {Peter \"Olveczky and Jos\'e Meseguer},
Crossref = {Meseguer96-wrla},
Pages = {65--89},
Title = {Specifying real-time systems in rewriting logic}}
@unpublished{OlveczkyMeseguer99,
Author = {Peter \"Olveczky and Jos\'e Meseguer},
Note = {Manuscript, submitted for publication, SRI International},
Title = {Specification of real-time and hybrid systems in rewriting logic},
Year = {1999}}
@book{Paulson94,
Author = {Lawrence C. Paulson},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Isabelle: a generic theorem prover},
Volume = {828},
Year = {1994}}
@book{Pettersson99,
Author = {Mikael Pettersson},
Isbn = {3-540-65968-4 (softcover)},
Issn = {0302-9743},
Pages = {xvi + 240},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Compiling Natural Semantics},
Volume = {1549},
Year = {1999}}
@inproceedings{Pettersson96,
Author = {Mikael Pettersson},
Booktitle = {Compiler Construction, 6th International Conference},
Editor = {Tibor Gyimothy},
Pages = {177--191},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A Compiler for Natural Semantics},
Volume = {1060},
Year = {1996}}
@inproceedings{Pettersson94,
Author = {Mikael Pettersson},
Booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
Editor = {Manuel Hermenegildo and Jaan Penjam},
Pages = {117--131},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{RML} --- {A} New Language and Implementation for Natural Semantics},
Volume = {844},
Year = {1994}}
@phdthesis{Pita03-thesis,
Author = {Isabel Pita},
School = {Facultad de Matem\'aticas, Universidad Complutense de Madrid},
Title = {T\'ecnicas de especificaci\'on formal de sistemas orientados a objetos basadas en l\'ogica de reescritura},
Year = {2003}}
@article{BKKR01,
Author = {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Christophe Ringeissen},
Journal = {International Journal of Foundations of Computer Science},
Pages = {69-95},
Title = {Rewriting with Strategies in {ELAN}: A Functional Semantics},
Volume = {12},
Year = {2001}}
@article{PitaMartiOliet02,
Author = {Isabel Pita and Narciso Mart{\'\i}-Oliet},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {407-439},
Title = {A {Maude} specification of an object-oriented model for telecommunication networks},
Volume = {285},
Year = {2002}}
@techreport{Plotkin81,
Author = {G. D. Plotkin},
Institution = {Computer Science Department, Aarhus University},
Number = {DAIMI FN-19},
Title = {A Structural Approach to Operational Semantics},
Year = {1981}}
@unpublished{Quemada98,
Author = {Juan {Quemada, editor}},
Note = {ISO/IEC JTC1/SC21/WG7 Project 1.21.20.2.3.},
Title = {Final committee draft on {E}nhancements to {LOTOS}},
Year = {1998}}
@incollection{QuemadaFernandezManas87,
Address = {Amsterdam, Netherlands},
Author = {Juan Quemada and A. Fern{\'a}ndez and Jose A. Ma{\~n}as},
Booktitle = {Iberian Conference on Data Communications 87},
Editor = {A. Cerveira},
Publisher = {North-Holland},
Title = {{LOLA}: {Design} and Verification of Protocols using {L}{\sc otos}},
Year = {1987}}
@inproceedings{ReedRoscoe86,
Author = {G. M. Reed and A. W. Roscoe},
Booktitle = {Proc.~{ICALP}~86},
Pages = {314-323},
Publisher = {Springer},
Series = {LNCS 226},
Title = {A Timed Model for Communicating Sequential Processes},
Year = {1986}}
@book{Reynolds98,
Author = {John C. Reynolds},
Publisher = {Cambridge University Press},
Title = {Theories of Programming Languages},
Year = {1998}}
@inproceedings{CELM96,
Author = {Manuel Clavel and Steven Eker and Patrick Lincoln and Jos{\'e} Meseguer},
Crossref = {Meseguer96-wrla},
Pages = {65-89},
Title = {Principles of {Maude}}}
@inproceedings{RielyHennessy99,
Author = {J. Riely and M. Hennessy},
Booktitle = {26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
Publisher = {ACM Press},
Title = {Trust and Partial Typing in Open Systems of Mobile Agents},
Year = {1999}}
@phdthesis{Roeckl01a,
Author = {Christine R{\"o}eckl},
School = {Fakult\"at f\"ur Informatik, Technische Universit\"at M\"unchen},
Title = {On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems},
Year = {2001}}
@inproceedings{Roeckl01b,
Author = {Christine R{\"o}eckl},
Booktitle = {Proc. MERLIN'01},
Editor = {S. Ambler and R. Crole and A. Momigliano},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {A First-Order Syntax for the $\pi$-Calculus in {Isabelle/HOL} using Permutations},
Volume = {58.1},
Year = {2001}}
@inproceedings{RoecklHirschkoffBerghofer01,
Author = {Christine R{\"o}eckl and Daniel Hirschkoff and Stefanqq Berghofer},
Booktitle = {Proc. FOSSACS'01},
Editor = {F. Honsell and M. Miculan},
Pages = {364--378},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Higher-Order Abstract Syntax with Induction in {Isabelle/HOL}: Formalizing the $\pi$-Calculus and Mechanizing the Theory of Contexts},
Volume = {2030},
Year = {2001}}
@inproceedings{Romijn99,
Author = {J.M.T.~Romijn},
Booktitle = {Fourth International Workshop on Formal Methods for Industrial Critical Systems},
Title = {{A Timed Verification of the IEEE 1394 Leader Election Protocol}},
Year = {1999}}
@inproceedings{RossiVitali99,
Author = {D. Rossi and F. Vitali},
Crossref = {CiancariniWolf99},
Pages = {259-274},
Title = {Internet-based coordination environments and document-based applications: A case study}}
@article{Schneider95,
Author = {S. A. Schneider},
Journal = {Information and Computation},
Number = {2},
Pages = {193-213},
Title = {An operational semantics for Timed {CSP}},
Volume = {116},
Year = {1995}}
@inproceedings{Scutella99,
Author = {A. Scutell\`a},
Crossref = {CiancariniWolf99},
Pages = {243-258},
Title = {Simulation of Conference Management Using an Event-Driven Coordination Language}}
@article{ShanklandVerdejo01,
Author = {Carron Shankland and Alberto Verdejo},
Journal = {Computer Networks},
Number = {3--4},
Pages = {481-502},
Title = {A case study in abstraction using {E-LOTOS} and the {FireWire}},
Volume = {37},
Year = {2001}}
@inproceedings{ShanklandVerdejo99,
Author = {Carron Shankland and Alberto Verdejo},
Booktitle = {Formal Methods and Telecommunications (FM\&T'99)},
Editor = {Marco Ajmone Marsan and Juan Quemada and Tom\'as Robles and Manuel Silva},
Pages = {103-119},
Publisher = {Prensas Universitarias de Zaragoza},
Title = {Time, {E-LOTOS}, and the {FireWire}},
Year = {1999}}
@article{ShanklandvanderZwaag98,
Author = {C.~Shankland and M.~van~der~Zwaag},
Journal = {Formal Aspects of Computing},
Pages = {509-531},
Title = {{The Tree Identify Protocol of IEEE 1394 in $\mu$CRL}},
Volume = {10},
Year = {1998}}
@unpublished{SighireanuGaravel95,
Author = {Mihaela Sighireanu and Hubert Garavel},
Note = {Annex A of ISO/IEC JTC1/SC21/WG1 N1349 Working draft on enhancements to {LOTOS}},
Title = {A proposal for the datatype part of {E-LOTOS} applicable to the formal description of {OSI} and {ODP} standards},
Year = {1995}}
@unpublished{SighireanuGaravel96,
Author = {Mihaela Sighireanu and Hubert Garavel},
Note = {Input document (GR2) to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3), Grenoble, France, December 9-11, 1996},
Title = {On the Definition of Modular {E-LOTOS}},
Year = {1996}}
@techreport{SighireanuMateescu97,
Author = {M.~Sighireanu and R.~Mateescu},
Institution = {INRIA},
Number = {3172},
Title = {{Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): an Experiment with E-LOTOS}},
Year = {1997}}
@inproceedings{StoelingaVaandrager99,
Author = {M. I. A. Stoelinga and F. W. Vaandrager},
Booktitle = {Proceedings 5th International {AMAST} Workshop on Formal Methods for Real-Time and Probabilistic Systems},
Editor = {J.-P. Katoen},
Pages = {53--74},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Root Contention in {IEEE} 1394},
Volume = {1601},
Year = {1999}}
@article{SimonsStoelinga01,
Journal = {Springer International Journal of Software Tools for Technology Transfer},
Pages = {469--485},
Title = {Mechanical Verification of the {IEEE} 1394a Root Contention Protocol using {U}ppaal2k},
Year = {2001}}
@inproceedings{Sprenger98,
Author = {Christoph Sprenger},
Booktitle = {ools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
Editor = {B. Steffen},
Pages = {167-183},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A Verified Model Checker for the Modal $\mu$-Calculus in {Coq}},
Volume = {1384},
Year = {1998}}
@inproceedings{StehrMeseguer99,
Address = {Paris, France},
Author = {M.-O. Stehr and J. Meseguer},
Booktitle = {Proc. of LFM'99: Workshop on Logical Frameworks and Meta-Languages},
Title = {Pure Type Systems in Rewriting Logic},
Year = {1999}}
@inproceedings{StehrTalcott02,
Author = {Mark-Oliver Stehr and Carolyn L. Talcott},
Crossref = {GadducciMontanari02},
Pages = {195-215},
Title = {{PLAN} in {Maude}: Specifying an Active Network Programming Language}}
@inproceedings{Stirling96,
Author = {C. Stirling},
Booktitle = {Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings)},
Editor = {F. Moller and G. Birtwistle},
Pages = {149-237},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Modal and Temporal Logics for Processes},
Volume = {1043},
Year = {1996}}
@inproceedings{Terrasse95,
Author = {Delphine Terrasse},
Booktitle = {lgebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings},
Editor = {V. S. Alagar},
Pages = {230--244},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Encoding Natural Semantics in {Coq}},
Volume = {936},
Year = {1995}}
@inproceedings{Thati-Sen-Marti-Oliet02,
Author = {Prasanna Thati and Koushik Sen and Narciso Mart{\'\i}-Oliet},
Crossref = {GadducciMontanari02},
Pages = {217-237},
Title = {An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in {Maude} 2.0}}
@inproceedings{TovalFernandez00,
Author = {Ambrosio Toval and Jos{\'e} Luis Fern{\'a}ndez},
Booktitle = {Proceedings {IFIP} Conference on Formal Methods for Open Object-Based Distributed Systems IV, {FMOODS} 2000, September 6--8, 2000, Stanford, California, USA},
Editor = {Scott F. Smith and Carolyn L. Talcott},
Pages = {183-206},
Publisher = {Kluwer Academic Publishers},
Title = {Formally Modeling {UML} and its Evolution: A Holistic Approach},
Year = {2000}}
@book{Turner92,
Author = {Ken Turner},
Publisher = {John Wiley and Sons Ltd.},
Title = {Using Formal Description Techniques -- An Introduction to {Estelle}, {LOTOS} and {SDL}},
Year = {1992}}
@inproceedings{Turner98,
Author = {Kenneth J. Turner},
Booktitle = {Proc.\ International Workshop on Comparing Systems Specification Techniques},
Editor = {Michel Allemand and Christian Attiogbe and Henri Habrias},
Pages = {83-98},
Title = {The Invoicing Case Study in {(E-)LOTOS}},
Year = {1998}}
@incollection{TurnerSinnott94,
Address = {Amsterdam, Netherlands},
Author = {Kenneth J. Turner and Richard O. Sinnott},
Booktitle = {Proc.\ Formal Description Techniques VI},
Editor = {Richard L. Tenney and Paul D. Amer and M. {\"U}mit Uyar},
Pages = {71-86},
Publisher = {North-Holland},
Title = {{DILL}: {Specifying} Digital Logic in {LOTOS}},
Year = {1994}}
@inproceedings{VanBaalen-Caldwell-Mishra00,
Author = {Jeffrey Van Baalen and James L. Caldwell and Shivakant Mishra},
Booktitle = {First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 2000. Revised Papers},
Pages = {180-193},
Publisher = {Springer},
Series = {Lecture Notes in Artificial Intelligence},
Title = {Specifying and checking fault-tolerant agent-based protocols using {Maude}},
Volume = {1871},
Year = {2000}}
@inproceedings{Verdejo02-forte,
Author = {Alberto Verdejo},
Booktitle = {Formal Techniques for Networked and Distributed Systems --- FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 2002 Proceedings},
Editor = {Doron Peled and Moshe Vardi},
Pages = {292-307},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Building tools for {LOTOS} Symbolic Semantics in {Maude}},
Volume = {2529},
Year = {2002}}
@techreport{Verdejo02a,
Author = {Alberto Verdejo},
Institution = {Dpto.\ Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},
Note = {\url{http://www.ucm.es/sip/alberto}},
Number = {122-02},
Title = {{LOTOS} Symbolic Semantics in {Maude}},
Year = {2002}}
@techreport{Verdejo02b,
Author = {Alberto Verdejo},
Institution = {Dpto.\ Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},
Note = {\url{http://www.ucm.es/sip/alberto}},
Number = {123-02},
Title = {A tool for {Full LOTOS} in {Maude}},
Year = {2002}}
@phdthesis{Verdejo03-thesis,
Author = {Alberto Verdejo},
School = {Facultad de Inform\'atica, Universidad Complutense de Madrid},
Title = {{Maude} como marco sem\'antico ejecutable},
Year = {2003}}
@misc{ESF-webpage,
Author = {Alberto Verdejo},
Howpublished = {Web page},
Note = {\url{http://www.ucm.es/sip/alberto/esf}},
Title = {\emph{Maude as an executable semantic framework}}}
@misc{ccslotos-webpage,
Author = {Alberto Verdejo},
Howpublished = {Web page},
Note = {\url{http://www.ucm.es/sip/alberto/ccs-lotos}},
Title = {\emph{CCS and LOTOS semantics implementation in Maude}}}
@mastersthesis{Verdejo99,
Author = {Alberto Verdejo},
School = {Departamento de Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},
Title = {{E-LOTOS: Tutorial and semantics}},
Year = {1999}}
@techreport{VerdejoMarti-Oliet00a,
Author = {Alberto Verdejo and Narciso Mart\'{\i}-Oliet},
Institution = {Dpto.\ Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},
Number = {99-00},
Title = {Executing and Verifying {CCS} in {Maude}},
Year = {2000}}
@inproceedings{VerdejoMarti-Oliet00b,
Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
Booktitle = {INT 2000, Integration of Specification Techniques with Applications in Engineering, Extended Abstracts Technical report 2000/04, Technische Universitat Berlin, March 2000},
Editor = {H. Ehrig and M. Grosse-Rhode and F. Orejas},
Pages = {49-53},
Title = {Executing {E-LOTOS} processes in {Maude}},
Year = {2000}}
@inproceedings{VerdejoMarti-Oliet00c,
Author = {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
Booktitle = {Formal Methods For Distributed System Development. FORTE/PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10--13, 2000, Pisa, Italy},
Editor = {Tommaso Bolognesi and Diego Latella},
Mastitulo = {IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10--13, 2000, Pisa, Italy},
Pages = {351-366},
Publisher = {Kluwer Academic Publishers},
Title = {Implementing {CCS} in {Maude}},
Year = {2000}}
@inproceedings{VerdejoMarti-Oliet00d,
Author = {Alberto Verdejo and Narciso Mart\'{\i}-Oliet},
Booktitle = {Actas de las {VIII} Jornadas de Concurrencia},
Pages = {81-95},
Publisher = {Ediciones de la Universidad de Castilla-La Mancha},
Title = {Implementing {CCS} in {Maude}},
Year = {2000}}
@unpublished{VerdejoMarti-Oliet01,
Author = {Alberto Verdejo and Narciso Mart\'{\i}-Oliet},
Note = {Manuscript submitted for publication},
Title = {Executing and Verifying {CCS} in {Maude}},
Year = {2001}}
@techreport{VerdejoMarti-Oliet03,
Author = {Alberto Verdejo and Narciso Mart\'{\i}-Oliet},
Institution = {Dpto.\ Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},
Number = {134-03},
Title = {Executable Structural Operational Semantics in {Maude}},
Year = {2003}}
@article{VerdejoPitaMarti-Oliet03,
Author = {A. Verdejo and I. Pita and N. Mart{\'\i}-Oliet},
Journal = {Formal Aspects of Computing},
Number = {3},
Pages = {228-246},
Title = {Specification and Verification of the Tree Identify Protocol of {IEEE 1394} in Rewriting Logic},
Volume = {14},
Year = {2003}}
@inproceedings{VerdejoPitaMarti-Oliet00,
Author = {A. Verdejo and I. Pita and N. Mart{\'\i}-Oliet},
Booktitle = {Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18--20, 2000},
Crossref = {Futatsugi00-wrla},
Pages = {385-406},
Title = {The Leader Election Protocol of {IEEE} 1394 in {Maude}},
Year = {2000}}
@inproceedings{VerdejoPitaMarti-Oliet00-scr,
Author = {A. Verdejo and I. Pita and N. Mart{\'\i}-Oliet},
Booktitle = {Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18--20, 2000},
Editor = {Kokichi Futatsugi},
Note = {\url{http://www.elsevier.nl/locate/entcs/volume36.html}},
Pages = {385-406},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {The Leader Election Protocol of {IEEE} 1394 in {Maude}},
Volume = {36},
Year = {2000}}
@techreport{VerdejoPitaMarti-Oliet01a,
Author = {A. Verdejo and I. Pita and N. Mart{\'\i}-Oliet},
Institution = {Dpto.\ Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},
Number = {118-01},
Title = {The leader election protocol of {IEEE} 1394 in {Maude}},
Year = {2001}}
@inproceedings{VerdejoPitaMarti-Oliet01b,
Author = {A. Verdejo and I. Pita and N. Mart{\'\i}-Oliet},
Crossref = {Firewire-workshop},
Pages = {39-43},
Title = {Specification and Verification of the Leader Election Protocol of IEEE 1394 in Rewriting Logic}}
@inproceedings{Viry96,
Author = {Patrick Viry},
Crossref = {Meseguer96-wrla},
Pages = {51-64},
Title = {Input/Output for {ELAN}}}
@proceedings{Firewire-workshop,
Address = {Berlin},
Booktitle = {Proceedings International Workshop on Application of Formal Methods to IEEE 1394 Standard},
Editor = {C. Shankland},
Title = {Proceedings International Workshop on Application of Formal Methods to IEEE 1394 Standard},
Year = {2001}}
@inproceedings{Wang91,
Author = {Wang Yi},
Booktitle = {Proc. {ICALP} 91},
Editor = {J. Leach Albert and B. Monien and M. Rodr\'{\i}guez},
Pages = {217-228},
Publisher = {Springer},
Series = {LNCS 510},
Title = {{CCS} + Time = an Interleaving Model for Real Time Systems},
Year = {1991}}
@inproceedings{WangMeseguerGunter00,
Annote = {Hago de referee},
Author = {Bow-Yaw Wang and Jos{\'e} Meseguer and Carl A. Gunter},
Booktitle = {International Workshop on Distributed System Validation and Verification},
Editor = {P.-A. Hsiung},
Pages = {49-56},
Title = {Specification and Formal Analysis of a {PLAN} Algorithm in {Maude}},
Year = {2000}}
@inproceedings{YuLuo97,
Author = {Shenwei Yu and Zhaohui Luo},
Booktitle = {FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997)},
Editor = {John Fitzgerald and Cliff B. Jones and Peter Lucas},
Pages = {442--458},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Implementing a Model Checker for {LEGO}},
Volume = {1313},
Year = {1997}}
@proceedings{Meseguer96-wrla,
Booktitle = {Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September 3--6, 1996},
Editor = {Jos\'e Meseguer},
Note = {\url{http://www.elsevier.nl/locate/entcs/volume4.html}},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September 3--6, 1996},
Volume = {4},
Year = {1996}}
@proceedings{Futatsugi00-wrla,
Booktitle = {Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18--20, 2000},
Date-Modified = {2005-05-30 11:10:17 +0200},
Editor = {Kokichi Futatsugi},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18--20, 2000},
Volume = {36},
Year = {2000}}
@proceedings{GadducciMontanari02,
Booktitle = {Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19--21, 2002},
Date-Modified = {2005-05-30 10:27:32 +0200},
Editor = {Fabio Gadducci and Ugo Montanari},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19--21, 2002},
Volume = {71},
Year = {2002}}
@techreport{blomp96b,
Author = {S. Breitinger and R. Loogen and Y. Ortega{-Mall{\'e}n} and R. Pe{\~n}a},
Institution = {Reihe Informatik, FB Mathematik, Philipps-Universit{\"a}t Marburg, Germany},
Number = {96/10},
Title = {Eden: Language Definition and Operational Semantics},
Year = {1996}}
@article{lop04,
Author = {R. Loogen and Y. Ortega{-Mall{\'e}n} and R. Pe{\~n}a},
Date-Modified = {2005-06-01 16:47:47 +0200},
Journal = {Journal of Functional Programming},
Number = {1},
Pages = {431-475},
Title = {Parallel Functional Programming in {E}den},
Volume = {15},
Year = {2005}}
@book{pey03,
Author = {S. {Peyton Jones}},
Publisher = {Cambridge University Press},
Title = {Haskell 98 language and libraries: the Revised Report},
Year = {2003}}
@article{ho02d,
Author = {M. Hidalgo{-Herrero} and Y. Ortega{-Mall{\'e}n}},
Editor = {S. Gorlatch and C. Lengauer},
Journal = {Parallel Processing Letters (World Scientific Publishing Company)},
Number = {2},
Pages = {211-228},
Title = {An Operational Semantics for the Parallel Language {E}den},
Volume = {12},
Year = {2002}}
@inproceedings{kop99,
Author = {U. Klusik and Y. Ortega{-Mall{\'e}n} and R. Pe{\~n}a},
Booktitle = {Proceedings of the 10th International Workshop on Implementation of Functional Languages, ({IFL'98} selected papers)},
Organization = {LNCS 1595},
Pages = {103-119},
Publisher = {Springer},
Title = {Implementing {E}den - or: Dreams Become Reality},
Year = {1999}}
@phdthesis{rub01,
Author = {F. {Rubio}},
School = {Dept. Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},
Title = {Programaci\'on funcional paralela eficiente en {E}den},
Year = {2001}}
@inproceedings{cardelli99types,
Author = {L. Cardelli and A. D. Gordon},
Booktitle = {Proceedings of the 26th {ACM SIGPLAN-SIGACT} on Principles of Programming Languages, {POPL'99}},
Pages = {79-92},
Publisher = {ACM Press},
Title = {Types for mobile ambients},
Year = {1999}}
@article{eq-rl-rwl,
Author = {Patrick Viry},
Date-Modified = {2007-05-22 22:11:40 -0500},
Journal = {Theoretical Computer Science},
Number = {2},
Pages = {487--517},
Title = {Equational rules for rewriting logic},
Volume = {285},
Year = {2002}}
@inproceedings{vitek99seal,
Author = {Jan Vitek and Giuseppe Castagna},
Booktitle = {Internet Programming Languages: ICCL'98 Workshop, Chicago, IL, USA, May 1998. Proceedings},
Date-Modified = {2007-05-22 10:36:47 -0500},
Editor = {H.E. Bal and B. Belkhouche and L. Cardelli},
Journal = {Lecture Notes in Computer Science},
Pages = {47-77},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Seal: {A} Framework for Secure Mobile Computations},
Volume = {1686},
Year = {1999}}
@inproceedings{john94fortrans,
Author = {Darlington, John and Guo, Yike and To, Hing Wing and Wu, Qian and Yang, Jin and Kohler, Martin},
Booktitle = {Proceedings of the Third Parallel Computing Workshop},
Title = {{F}ortran-{S}: {A} {U}niform {F}unctional {I}nterface to {P}arallel {I}mperative {L}anguages},
Year = {1994}}
@incollection{danelutto94methodology,
Author = {Danelutto, M. and Meglio, R. Di and Orlando, S. and Pelagatti, S. and Vanneschi, M.},
Booktitle = {Programming Languages for Parallel Processing},
Editor = {Skillicorn, D.B. and Talia, D.},
Publisher = {IEEE Computer Society Press},
Title = {{A} methodology for the development and the support of massively parallel programs},
Year = {1994}}
@article{bacci-p3l,
Author = {B. Bacci and M. Danelutto and S. Orlando and S. Pelagatti and M. Vanneschi},
Date-Modified = {2007-05-22 15:57:31 -0500},
Journal = {Concurrency: Practice and Experience},
Number = {3},
Pages = {225-255},
Title = {{$P^3L$: A} Structured High-level Parallel Language, and its Structured Support},
Volume = {7},
Year = {1995}}
@article{assist,
Author = {Marco Vanneschi},
Date-Modified = {2007-05-22 15:58:32 -0500},
Journal = {Parallel Computing},
Number = {12},
Pages = {1709-1732},
Title = {The programming model of {ASSIST}, an environment for parallel and distributed portable applications},
Volume = {28},
Year = {2002}}
@article{bacci99skie,
Author = {B. Bacci and M. Danelutto and S. Pelagatti and M. Vanneschi},
Date-Modified = {2007-05-22 15:59:09 -0500},
Journal = {Parallel Computing},
Number = {13-14},
Pages = {1827-1852},
Title = {Sk{IE} : A heterogeneous environment for {HPC} applications},
Volume = {25},
Year = {1999}}
@phdthesis{agent-tcl-thesis,
Author = {Robert Gray},
Month = {June},
School = {Department of Computer Science, Dartmouth College},
Title = {{Agent Tcl}: A flexible and secure mobile-agent system},
Year = {1997}}
@inproceedings{muskel,
Author = {Marco Danelutto},
Booktitle = {PDP'05: Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP'05)},
Date-Modified = {2007-05-22 21:48:57 -0500},
Pages = {282-289},
Publisher = {IEEE Computer Society},
Title = {{QoS} in Parallel Programming through Application Managers},
Year = {2005}}
@inproceedings{cardelli98mobile,
Author = {Luca Cardelli and Andrew D. Gordon},
Booktitle = {Foundations of Software Science and Computation Structures, First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28--April 4, 1998 Proceedings},
Date-Modified = {2007-05-22 21:47:10 -0500},
Editor = {Maurice Nivat},
Pages = {140-155},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Mobile Ambients},
Volume = {1378},
Year = {1998}}
@proceedings{europar96,
Date-Added = {2007-05-22 16:06:03 -0500},
Date-Modified = {2007-05-22 16:06:59 -0500},
Editor = {Luc Bouge and Pierre Fraigniaud and Anne Mignotte and Yves Robert},
Pages = {710-713},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Euro-Par '96 Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings},
Volume = {1123},
Year = {1996}}
@inproceedings{BergstraK82,
Author = {Jan A. Bergstra and Jan Willem Klop},
Booktitle = {ICALP},
Crossref = {icalp1982},
Pages = {23-34},
Title = {Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras.},
Year = {1982}}
@proceedings{icalp1982,
Date-Modified = {2007-05-23 10:50:16 -0500},
Editor = {Mogens Nielsen and Erik Meineche Schmidt},
Isbn = {3-540-11576-5},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings},
Volume = {140},
Year = {1982}}
@book{pi-calculus,
Author = {Robin Milner},
Isbn = {0521658691},
Month = {June},
Publisher = {Cambridge University Press},
Title = {Communicating and Mobile Systems: the Pi-Calculus},
Year = {1999}}
@proceedings{parco2005,
Date-Added = {2007-05-22 15:40:56 -0500},
Date-Modified = {2007-05-22 15:45:07 -0500},
Organization = {John von Neumann Institute for Computing},
Series = {NIC Series},
Title = {Parallel Computing: Current \& Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005},
Volume = {33},
Year = {2005}}
@inproceedings{Caballero04,
Author = {R.~Caballero and M.~Rodr\'{\i}guez-Artalejo},
Booktitle = {Proceedings 7th International Symposium on Functional and Logic Programming (FLOPS'04), Nara, Japan},
Date-Modified = {2009-01-19 16:09:57 +0100},
Editor = {Yukiyoshi Kameyama and Peter J. Stuckey},
Pages = {70--84},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{DDT}: A declarative debugging tool for functional-logic languages},
Volume = {2998},
Year = {2004}}
@inproceedings{Caballero05,
Author = {Rafael Caballero},
Booktitle = {Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP'05), Tallinn, Estonia},
Date-Modified = {2009-01-23 14:36:11 +0100},
Isbn = {1-59593-069-8},
Location = {Tallinn, Estonia},
Pages = {8--13},
Publisher = {ACM Press},
Title = {A declarative debugger of incorrect answers for constraint functional-logic programs},
Year = {2005},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1085099.1085102}}
@inproceedings{Caballero08,
Author = {R. Caballero and M. {Rodr\'iguez-Artalejo} and R. del {Vado V\'irseda}},
Booktitle = {Proceedings of 9th International Symposium on Functional and Logic Programming, FLOPS 2008, Ise, Japan},
Date-Modified = {2009-01-19 16:12:45 +0100},
Editor = {Jacques Garrigue and Manuel V. Hermenegildo},
Pages = {305-321},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming},
Volume = {4989},
Year = {2008}}
@article{LLo87,
Address = {Tokyo, Japan, Japan},
Author = {J. W. Lloyd},
Date-Modified = {2008-02-25 14:49:15 +0100},
Issn = {0288-3635},
Journal = {New Generation Computing},
Number = {2},
Pages = {133--154},
Publisher = {Ohmsha},
Title = {Declarative error diagnosis},
Volume = {5},
Year = {1987}}
@mastersthesis{MacLarty05,
Author = {Ian MacLarty},
Date-Modified = {2009-01-23 10:23:52 +0100},
Publisher = {The University of Melbourne},
School = {University of Melbourne},
Title = {Practical Declarative Debugging of {Mercury} Programs},
Year = {2005}}
@article{Naish97,
Author = {Lee Naish},
Date-Modified = {2008-04-12 21:04:11 +0200},
Journal = {Journal of Functional and Logic Programming},
Number = {3},
Publisher = {The MIT Press},
Title = {A Declarative Debugging Scheme},
Volume = {1997},
Year = {1997}}
@article{Nilsson94,
Author = {Henrik Nilsson and Peter Fritzson},
Journal = {Journal of Functional Programming},
Number = {3},
Pages = {337--370},
Title = {Algorithmic debugging of lazy functional languages},
Volume = {4},
Year = {1994}}
@article{Nilsson01,
Address = {New York, NY, USA},
Author = {Henrik Nilsson},
Date-Modified = {2008-04-12 20:54:26 +0200},
Issn = {0956-7968},
Journal = {Journal of Functional Programming},
Number = {6},
Pages = {629--671},
Publisher = {Cambridge University Press},
Title = {How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger},
Volume = {11},
Year = {2001},
Bdsk-Url-1 = {http://dx.doi.org/10.1017/S095679680100418X}}
@phdthesis{BerniePopePhd,
Address = {Australia},
Author = {B. Pope},
School = {The University of Melbourne},
Title = {A Declarative Debugger for {Haskell}},
Year = {2006}}
@inproceedings{Pope05,
Author = {Bernard Pope},
Booktitle = {Advanced Functional Programming - 5th International School, AFP 2004},
Date-Modified = {2008-01-24 12:55:00 +0100},
Issn = {0302-9743},
Pages = {273-308},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Declarative Debugging with {Buddha}},
Volume = {3622},
Year = {2005}}
@book{Shapiro92,
Author = {Ehud Yehuda Shapiro},
Publisher = {MIT Press},
Series = {ACM Distinguished Dissertation},
Title = {Algorithmic Program Debugging},
Year = {1983}}
@inproceedings{Silva07,
Author = {Josep Silva},
Booktitle = {Logic-Based Program Synthesis and Transformation},
Date-Modified = {2008-04-12 21:00:04 +0200},
Editor = {Germ\'an Puebla},
Isbn = {978-3-540-71409-5},
Pages = {143-159},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {A Comparative Study of Algorithmic Debugging Strategies},
Volume = {4407},
Year = {2007}}
@inproceedings{Tessier00,
Author = {Alexandre Tessier and G\'{e}rard Ferrand},
Booktitle = {Analysis and Visualization Tools for Constraint Programming, Constraint Debugging (DiSCiPl project)},
Date-Modified = {2009-01-23 10:38:54 +0100},
Editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski},
Pages = {151--174},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Declarative Diagnosis in the {C}{L}{P} Scheme},
Volume = {1870},
Year = {2000}}
@article{wadler98,
Author = {Wadler, Philip},
Date-Modified = {2008-04-12 20:55:34 +0200},
Doi = {10.1145/286385.286387},
Issn = {0362-1340},
Journal = {SIGPLAN Notices},
Number = {8},
Pages = {23--27},
Publisher = {ACM Press},
Title = {Why no one uses functional languages},
Volume = {33},
Year = {1998},
Bdsk-Url-1 = {http://portal.acm.org/citation.cfm?id=286385.286387},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/286385.286387}}
@proceedings{CiancariniWolf99,
Editor = {P. Ciancarini and A. Wolf},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Proceedings 3rd International Conference on Coordination Models and Languages},
Volume = {1594},
Year = {1999}}
@inproceedings{ChitilLuo07,
Address = {Amsterdam, The Netherlands, The Netherlands},
Author = {Olaf Chitil and Yong Luo},
Booktitle = {Proceedings of the Third International Workshop on Term Graph Rewriting (TERMGRAPH 2006)},
Date-Modified = {2009-01-23 12:43:20 +0100},
Editor = {Ian Mackie},
Issn = {1571-0661},
Pages = {39--63},
Publisher = {Elsevier},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Structure and Properties of Traces for Functional Programs},
Volume = {176},
Year = {2007},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.entcs.2006.10.032}}