d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski%% This BibTeX bibliography file was created using BibDesk.

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski%% http://bibdesk.sourceforge.net/

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski%% Created for Adrián Riesco at 2010-09-02 10:33:02 +0200

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski%% Saved with string encoding Unicode (UTF-8)

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{minisat,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Niklas Een and Niklas S{\"o}rensson},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003, Selected Revised Papers},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2010-09-02 10:31:34 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2010-09-02 10:33:00 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {E. Giunchiglia and A. Tacchella},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {502--518},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {An Extensible {SAT}-solver},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {2919},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2004}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{vse,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 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},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2010-09-02 10:19:17 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2010-09-02 10:20:00 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Journal = {International Journal on Software Tools for Technology Transfer},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Number = {1},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Pages = {66-77},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Title = {VSE: formal methods meet industrial needs },

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Volume = {3},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Year = {2009}}

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu@inproceedings{spass35,

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Author = {Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski},

a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Lange Booktitle = {Proceedings of the 22nd International Conference on Automated Deduction, CADE 2009},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Date-Added = {2010-09-02 10:10:52 +0200},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Date-Modified = {2010-09-02 10:13:28 +0200},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Editor = {Renate A. Schmidt},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Pages = {140-145},

c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Publisher = {Springer},

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Series = {Lecture Notes in Artificial Intelligence},

356f33e31a1cf98a878f069e9e2e1cbea4a06e81Ewaryst Schulz Title = {SPASS Version 3.5 },

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Volume = {5663},

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Year = {2009}}

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz@mastersthesis{darwin,

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Author = {Alexander Fuchs},

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz School = {University of Koblenz-Landau},

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Title = {{D}arwin: {A} {T}heorem {P}rover for the {M}odel {E}volution {C}alculus},

a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Lange Year = {2004}}

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz

356f33e31a1cf98a878f069e9e2e1cbea4a06e81Ewaryst Schulz@inproceedings{vampire,

356f33e31a1cf98a878f069e9e2e1cbea4a06e81Ewaryst Schulz Author = {Dmitry Tsarkov and Alexandre Riazanov and Sean Bechhofer and Ian Horrocks},

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Booktitle = {Proceedings of the 3rd International Semantic Web Conference (ISWC 2004)},

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Date-Added = {2010-09-01 17:28:07 +0200},

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Date-Modified = {2010-09-01 17:30:32 +0200},

2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz Editor = {Sheila A. McIlraith and Dimitris Plexousakis and Frank van Harmelen},

a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Lange Pages = {471-485},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Publisher = {Springer},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Series = {Lecture Notes in Computer Science},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Title = {Using Vampire to Reason with OWL},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Volume = {3298},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Year = {2004}}

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu@book{IIMT,

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Author = {Diaconescu, Razvan},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Isbn = {3764387076, 9783764387075},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Publisher = {Birkh\"{a}user Basel},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Title = {Institution-independent Model Theory},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Year = {2008}}

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu@book{Reichel87,

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Address = {New York, NY, USA},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Author = {Reichel, Horst},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Isbn = {0-198-53806-5},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Publisher = {Oxford University Press, Inc.},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Title = {Initial computability, algebraic specifications, and partial algebras},

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Year = {1987}}

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu@book{Bidoit:2004:CASL-UM-short,

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu Annote = {Illustrates and discusses how to write \textsc{Casl} specifications,

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu with additional chapters on foundations, tools, and libraries, a

de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu realistic case study, and a quick-reference overview of \textsc{Casl}.},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Michel Bidoit and Peter D. Mosses},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {\CASL User Manual},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {2900},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2004}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@book{CoFI:2004:CASL-RM,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {CoFI (The Common Framework Initiative)},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {\textsc{Casl} Reference Manual},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {2960},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2004}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{zchaff,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Matthew W. Moskewicz and Conor F. Madigan},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Proceedings of the 38th Design Automation Conference},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {530--535},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {ACM Press},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Chaff: Engineering an Efficient SAT Solver},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2001}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{BouhoulaJM00,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Adel Bouhoula and Jean-Pierre Jouannaud and Jos{\'e} Meseguer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bibsource = {DBLP, http://dblp.uni-trier.de},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Ee = {http://dx.doi.org/10.1016/S0304-3975(99)00206-6},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Journal = {Theor. Comput. Sci.},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {1-2},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {35-132},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Specification and proof in membership equational logic},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {236},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2000}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{GoguenBurstall92,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {J. A. Goguen and R. M. Burstall},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Journal = {Journal of the Association for Computing Machinery},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {95--146},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Institutions: Abstract Model Theory for Specification and Programming},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = 39,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = 1992}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{MossakowskiEA06,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Till Mossakowski and Christian Maeder and Klaus L{\"u}ttich},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {TACAS 2007},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Orna Grumberg and Michael Huth},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Keywords = {proof heterogeneity logic institution prover theorem integration development graph},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {519--522},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/hets-tacas-toolpaper.pdf},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Psurl = {http://www.informatik.uni-bremen.de/~till/papers/hets-tacas-toolpaper.ps},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Status = {Reviewed},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {The {H}eterogeneous {T}ool {S}et},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {4424},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2007}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{MAH-05-a,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Mossakowski, Till and Autexier, Serge and Hutter, Dieter},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Journal = {Journal of Logic and Algebraic Programming, special issue on Algebraic Specification and Development Techniques},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Month = {april},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {1-2},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {114-145},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Elsevier},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Development Graphs - Proof Management for Structured Specifications},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {67},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2006}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{DBLP:conf/tphol/DixonF04,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Lucas Dixon and Jacques D. Fleuriot},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bibsource = {DBLP, http://dblp.uni-trier.de},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {TPHOLs},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Crossref = {DBLP:conf/tphol/2004},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3223{\&}spage=83},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {83-98},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Higher Order Rippling in IsaPlanner},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2004}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@proceedings{DBLP:conf/tphol/2004,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bibsource = {DBLP, http://dblp.uni-trier.de},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {TPHOLs},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Konrad Slind and Annette Bunker and Ganesh Gopalakrishnan},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Isbn = {3-540-23017-3},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {3223},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2004}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{ChurchRoss10,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Francisco Dur\'an and Jos\'e Meseguer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Proceedings of the 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010)},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Note = {To appear.},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2010}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{MTT08,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney, Australia, August 12-15},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {313-319},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {{MTT}: The {M}aude {T}ermination {T}ool (System Description)},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {5195},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2008}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@book{Isabelle02,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bibsource = {DBLP, http://dblp.uni-trier.de},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Isbn = {3-540-43376-7},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {{Isabelle/HOL} - A Proof Assistant for Higher-Order Logic},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {2283},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2002}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{RVMC08-wadt,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Adri\'an Riesco and Alberto Verdejo and Rafael Caballero and Narciso Mart\'{\i}-Oliet},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Recent Trends in Algebraic Development Techniques (WADT 2008)},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2009-06-25 10:41:08 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2009-06-25 10:41:08 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Andrea Corradini and Ugo Montanari},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {308-325},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Declarative Debugging of Rewriting Logic Specifications},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {5486},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2009}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{CMORV08-wrla,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Rafael Caballero and Narciso Mart\'{\i}-Oliet and Adri\'an Riesco and Alberto Verdejo},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2009-06-25 10:40:59 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2009-06-25 10:40:59 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Grigore Ro\c{s}u},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {63-81},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Elsevier},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Electronic Notes in Theoretical Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {A declarative debugger for {Maude} functional modules},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Url = {http://dx.doi.org/10.1016/j.entcs.2009.05.013},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {238(3)},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2009},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.entcs.2009.05.013}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{MOMV08,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Narciso Mart\'{\i}-Oliet and Jos{\'e} Meseguer and Alberto Verdejo},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2009-06-25 10:40:59 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2009-06-25 10:40:59 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Grigore Ro\c{s}u},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {3},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {227-247},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Elsevier},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Electronic Notes in Theoretical Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {A Rewriting Semantics for {Maude} Strategies},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Url = {http://dx.doi.org/10.1016/j.entcs.2009.05.022},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {238(3)},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2009},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.entcs.2009.05.022}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{amast08,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Adri\'an Riesco and Alberto Verdejo and Narciso Mart\'{\i}-Oliet and Rafael Caballero},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Algebraic Methodology and Software Technology --- 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2008-08-03 12:02:44 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-08-03 12:02:44 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Jos{\'e} Meseguer and Grigore Ro\c{s}u},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {116-121},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {A declarative debugger for {Maude}},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {5140},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2008}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@book{FieldHarrison,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {A. J. Field and P. G. Harrison},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2008-07-09 17:04:42 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-07-09 17:05:31 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Addison-Wesley},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Functional Programming},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1993}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{CMORV08-ugo,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Rafael Caballero and Narciso Mart\'{\i}-Oliet and Adri\'an Riesco and Alberto Verdejo},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2008-04-16 04:44:15 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2009-01-19 12:51:40 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Pierpaolo Degano and Rocco {De Nicola} and Jos{\'e} Meseguer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {174-193},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Declarative debugging of membership equational logic specifications},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {5065},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2008}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@techreport{debuggingTR08,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Adri\'an Riesco and Alberto Verdejo and Rafael Caballero and Narciso Mart\'{\i}-Oliet},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2008-04-13 18:48:24 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-04-13 19:30:41 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Note = {\url{http://maude.sip.ucm.es/debugging}},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {SIC-6/08},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Declarative debugging of {Maude} modules},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2008}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{CHKwflp06,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {R. Caballero and C. Hermanns and H. Kuchen},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2009-01-23 14:34:38 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {Francisco Javier L\'opez-Fraguas},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {75-89},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Elsevier},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Electronic Notes in Theoretical Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Algorithmic Debugging of {Java} Programs},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {177},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2007}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{Naish92,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Lee Naish},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2008-03-11 14:19:57 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-03-11 14:19:57 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Journal = {New Generation Computing},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {3},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {255-286},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Declarative Diagnosis of Missing Answers},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {10},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1992}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{ClavelMeseguerPalomino07,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Manuel Clavel and Jos\'e Meseguer and Miguel Palomino},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2008-01-22 10:34:44 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-01-22 10:36:53 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Journal = {Theoretical Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {1-2},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {70-91},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Reflection in membership equational logic, many-sorted equational logic, {H}orn logic with equality, and rewriting logic},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {373},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2007}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{TakahashiOno90,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Naohisa Takahashi and Satoshi Ono},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2008-01-24 12:45:03 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-01-24 12:48:55 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Journal = {Systems and Computers in Japan},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {11},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {21-32},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {{DDS}: A declarative debugging system for functional programs},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {21},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1990}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{CominiLevi99,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {M. Comini and G. Levi and M. C. Meo and G. Vitiello},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2008-01-24 12:38:00 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-01-24 12:39:33 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Journal = {Journal of Logic Programming},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {1-3},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {43-93},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Abstract Diagnosis},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {39},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1999}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{ACEFL02,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Mar\'{\i}a Alpuente and Marco Comini and Santiago Escobar and Moreno Falaschi and Salvador Lucas},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Logic Based Program Synthesis and Transformation},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-01-24 12:43:49 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {M. Leuschel},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {1-16},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Abstract Diagnosis of Functional Programs},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {2664},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2002}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@techreport{debuggingTR07,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Rafael Caballero and Narciso Mart\'{\i}-Oliet and Adri\'an Riesco and Alberto Verdejo},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-12-16 16:17:29 +0100},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2008-04-13 18:49:58 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Note = {\url{http://maude.sip.ucm.es/debugging}},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {SIC-4/07},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Declarative debugging of {Maude} functional modules},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2007}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@incollection{mobile-maude-book,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 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},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {All About Maude: A High-Performance Logical Framework},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Chapter = {16},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-09-30 20:55:34 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2007-10-01 17:40:22 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {485-522},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {{Mobile Maude}},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {4350},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2007}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@techreport{eden-tr,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Mercedes Hidalgo-Herrero and Alberto Verdejo and Yolanda Ortega-Mall\'en},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-06-22 09:26:11 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2007-06-22 09:27:36 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Institution = {Departamento de Sistemas Inform\'aticos y Programaci\'on, Universidad Complutense de Madrid},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Month = {April},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Number = {3-05},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Looking for {Eden} through {Maude} and its strategies},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2005}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@book{IntroComp,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Narciso Mart\'{\i}-Oliet and Miguel Palomino and Alberto Verdejo},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-05-28 16:39:16 -0500},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2007-05-28 16:40:34 -0500},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Anaya Educaci\'on},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Colecci\'on Base Universitaria},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Introducci\'on a la Computaci\'on},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2006}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@techreport{obliq,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Luca Cardelli},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-05-23 12:59:44 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2007-05-23 13:00:51 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Institution = {Systems Research Center},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {{Obliq} - {A} Language with Distributed Scope},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Url = {http://citeseer.ist.psu.edu/cardelli95obliq.html},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1994},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bdsk-Url-1 = {http://citeseer.ist.psu.edu/cardelli95obliq.html}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{telescript,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Joseph Tardo and Luis Valenta},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Proceedings of the 41st IEEE International Computer Conference},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-05-23 12:51:30 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2007-05-24 00:15:02 -0500},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {58-63},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {IEEE Computer Society},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Mobile agent security and {Telescript}},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1996}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{unity-agents,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Gruia-Catalin Roman and Jamie Payton},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-05-23 12:33:30 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2007-05-23 10:38:19 -0500},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {E. B{\"o}rger and A. Gargantini and E. Riccobene},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {126-150},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Mobile UNITY Schemas for Agent Coordination},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {2589},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {2003}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@techreport{unity-tr,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Jayadev Misra},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-05-23 12:25:24 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2007-05-23 12:26:27 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Institution = {University of Texas at Austin},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {A logic for concurrent programming},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Url = {citeseer.ist.psu.edu/misra94logic.html},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1994},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bdsk-Url-1 = {citeseer.ist.psu.edu/misra94logic.html}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{unity98,

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Gruia-Catalin Roman and Peter J. McCann},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 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},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Added = {2007-05-23 11:58:14 +0200},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Date-Modified = {2007-05-23 10:40:13 -0500},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {J. Rolim},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pages = {871-880},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Springer},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Series = {Lecture Notes in Computer Science},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {An Introduction to Mobile {UNITY}},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {1388},

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1998}}

d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke@inproceedings{join-calculus,

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Author = {C{\'e}dric Fournet and Georges Gonthier},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Booktitle = {Applied Semantics: Advanced Lectures},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Date-Added = {2007-05-23 11:25:41 +0200},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Date-Modified = {2007-05-23 10:42:24 -0500},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Editor = {G. Barthe and P. Dybjer and L. Pinto and J. Saraiva},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Pages = {268-332},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Publisher = {Springer},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Series = {Lecture Notes in Computer Science},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Title = {The Join Calculus: A Language for Distributed Mobile Programming},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Volume = {2395},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Year = {2002}}

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke@inproceedings{haskskell,

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Author = {Kevin Hammond and \'Alvaro J. {Reb\'on Portillo}},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Booktitle = {Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Date-Added = {2007-05-23 10:24:54 +0200},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Date-Modified = {2007-05-24 00:11:29 -0500},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Editor = {Pieter Koopman and Chris Clack},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Pages = {181-198},

65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke 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},

Editor = {G.R. Joubert and W.E. Nagel and F.J. Peters and O. Plata and P. Tirado and E. Zapata},

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},

Editor = {M.M. Bonsangue and E.B. Johnsen},

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}}