Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNarciso Martí-Oliet
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j31]Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio
, Alberto Verdejo:
The Maude strategy language. J. Log. Algebraic Methods Program. 134: 100887 (2023)- [c66]Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita:
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 1-20 - [c65]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
QMaude: Quantitative Specification and Verification in Rewriting Logic. FM 2023: 240-259 - [i4]Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Compositional Verification in Rewriting Logic. CoRR abs/2307.16537 (2023) - 2022
- [j30]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. 29(1): 7 (2022) - [j29]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. 124: 100727 (2022) - [j28]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Metalevel transformation of strategies. J. Log. Algebraic Methods Program. 124: 100728 (2022) - [j27]Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez:
Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. 68: 100982 (2022) - [c64]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540 - 2021
- [j26]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. 123: 100700 (2021) - [i3]Christiano Braga, Narciso Martí-Oliet:
B Maude: A formal executable environment for Abstract Machine Notation Descriptions. CoRR abs/2108.07878 (2021) - 2020
- [j25]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020) - [j24]Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Compositional Specification in Rewriting Logic. Theory Pract. Log. Program. 20(1): 44-98 (2020) - [c63]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Strategies, Model Checking and Branching-Time Properties in Maude. WRLA@ETAPS 2020: 156-175 - [e7]Santiago Escobar, Narciso Martí-Oliet:
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12328, Springer 2020, ISBN 978-3-030-63594-7 [contents]
2010 – 2019
- 2019
- [c62]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD 2019: 34:1-34:18 - [i2]Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Compositional specification in rewriting logic. CoRR abs/1908.11769 (2019) - [i1]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019) - 2018
- [j23]Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita:
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. J. Autom. Reason. 60(4): 421-463 (2018) - [c61]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Parameterized Strategies Specification in Maude. WADT 2018: 27-44 - [c60]Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Parameterized Programming for Compositional System Specification. WRLA@ETAPS 2018: 59-75 - [c59]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - 2017
- [c58]Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita:
Conditional narrowing modulo SMT and axioms. PPDP 2017: 17-28 - 2016
- [j22]Christiano Braga, Narciso Martí-Oliet:
Preface to SCP special issue with extended selected papers from SBMF 2014. Sci. Comput. Program. 126: 1-2 (2016) - [c57]Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Synchronous Products of Rewrite Systems. ATVA 2016: 141-156 - [c56]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192 - [c55]Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Egalitarian State-Transition Systems. WRLA 2016: 98-117 - 2015
- [j21]Francisco Durán, Narciso Martí-Oliet:
Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). Sci. Comput. Program. 99: 1-2 (2015) - [c54]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency 2015: 1-47 - [c53]Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita:
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency 2015: 48-71 - [c52]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - [e6]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 [contents] - [e5]Christiano Braga, Narciso Martí-Oliet:
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1 [contents] - 2014
- [c51]Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software 2014: 129-150 - [c50]Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo:
Equational Abstractions in Rewriting Logic and Maude. SBMF 2014: 17-31 - [c49]Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita:
Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA 2014: 80-96 - 2013
- [e4]Narciso Martí-Oliet, Miguel Palomino:
Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7841, Springer 2013, ISBN 978-3-642-37634-4 [contents] - 2012
- [j20]Narciso Martí-Oliet, Peter Csaba Ölveczky:
Preface. J. Log. Algebraic Methods Program. 81(7-8): 719-720 (2012) - [j19]Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. 81(7-8): 782-815 (2012) - [j18]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero:
Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. 81(7-8): 851-897 (2012) - 2011
- [c48]Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino:
Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 277-298 - [c47]Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR 2011: 73-89 - [c46]Alberto Verdejo, Narciso Martí-Oliet:
Basic completion strategies as another application of the Maude strategy language. WRS 2011: 17-36 - 2010
- [j17]José Meseguer, Miguel Palomino, Narciso Martí-Oliet:
Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010) - [c45]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
A Complete Declarative Debugger for Maude. AMAST 2010: 216-225 - [c44]Narciso Martí-Oliet:
An Introduction to Maude and Some of Its Applications. PADL 2010: 4-9 - [c43]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Declarative Debugging of Missing Answers for Maude. RTA 2010: 277-294 - [c42]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Enhancing the Debugging of Maude Specifications. WRLA 2010: 226-242
2000 – 2009
- 2009
- [c41]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390 - 2008
- [j16]José Meseguer, Miguel Palomino, Narciso Martí-Oliet:
Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008) - [c40]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero:
A Declarative Debugger for Maude. AMAST 2008: 116-121 - [c39]Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models 2008: 174-193 - [c38]Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet:
Declarative Debugging of Rewriting Logic Specifications. WADT 2008: 308-325 - [c37]Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
A Declarative Debugger for Maude Functional Modules. WRLA 2008: 63-81 - [c36]Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
A Rewriting Semantics for Maude Strategies. WRLA 2008: 227-247 - 2007
- [j15]Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007) - [j14]Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 20(1-2): 1-2 (2007) - [c35]Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
Algebraic Stuttering Simulations. PROLE 2007: 91-110 - [p24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Introduction. All About Maude 2007: 1-28 - [p23]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Using Maude. All About Maude 2007: 31-37 - [p22]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Syntax and Basic Parsing. All About Maude 2007: 39-59 - [p21]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Functional Modules. All About Maude 2007: 61-118 - [p20]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129 - [p19]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
System Modules. All About Maude 2007: 131-157 - [p18]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo:
Playing with Maude. All About Maude 2007: 159-184 - [p17]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Module Operations. All About Maude 2007: 185-230 - [p16]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Predefined Data Modules. All About Maude 2007: 231-305 - [p15]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo:
Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338 - [p14]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Based Programming. All About Maude 2007: 339-372 - [p13]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Model Checking Invariants Through Search. All About Maude 2007: 373-384 - [p12]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
LTL Model Checking. All About Maude 2007: 385-418 - [p11]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458 - [p10]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Metaprogramming Applications. All About Maude 2007: 459-483 - [p9]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo:
Mobile Maude. All About Maude 2007: 485-522 - [p8]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555 - [p7]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Full Maude: Extending Core Maude. All About Maude 2007: 559-597 - [p6]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Oriented Modules. All About Maude 2007: 599-642 - [p5]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Sampler of Application Areas. All About Maude 2007: 645-665 - [p4]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo:
Some Tools. All About Maude 2007: 667-693 - [p3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Debugging and Troubleshooting. All About Maude 2007: 697-736 - [p2]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Complete List of Maude Commands. All About Maude 2007: 737-749 - [p1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Core Maude Grammar. All About Maude 2007: 751-756 - [e3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, ISBN 978-3-540-71940-3 [contents] - 2006
- [j13]Alberto Verdejo, Narciso Martí-Oliet:
Executable structural operational semantics in Maude. J. Log. Algebraic Methods Program. 67(1-2): 226-293 (2006) - [c34]Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
Deduction, Strategies, and Rewriting. STRATEGIES@IJCAR 2006: 3-25 - [e2]Horatiu Cirstea, Narciso Martí-Oliet:
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005. Electronic Notes in Theoretical Computer Science 147(1), Elsevier 2006 [contents] - 2005
- [j12]Alberto Verdejo, Narciso Martí-Oliet:
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods Syst. Des. 27(1-2): 113-172 (2005) - [j11]Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum:
A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005) - [c33]Miguel Palomino, José Meseguer, Narciso Martí-Oliet:
A Categorical Approach to Simulations. CALCO 2005: 313-330 - [c32]Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley:
Transforming Information in RDF to Rewriting Logic. FMOODS 2005: 227-242 - [c31]Horatiu Cirstea, Narciso Martí-Oliet:
Preface. RULE@RDP 2005: 1-3 - [e1]Narciso Martí-Oliet:
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 117, Elsevier 2005 [contents] - 2004
- [c30]Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino:
Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86 - [c29]Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143 - [c28]Narciso Martí-Oliet:
Preface. WRLA 2004: 1-4 - [c27]Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo:
Playing with Maude. RULE@RDP 2004: 3-23 - [c26]Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
A Tutorial on Specifying Data Structures in Maude. PROLE 2004: 105-132 - [c25]Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
Towards a Strategy Language for Maude. WRLA 2004: 417-441 - 2003
- [j10]Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet:
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Aspects Comput. 14(3): 228-246 (2003) - [c24]José Meseguer, Miguel Palomino, Narciso Martí-Oliet:
Equational Abstractions. CADE 2003: 2-16 - [c23]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
The Maude 2.0 System. RTA 2003: 76-87 - 2002
- [j9]Narciso Martí-Oliet:
Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. Log. J. IGPL 10(4): 453-455 (2002) - [j8]Narciso Martí-Oliet, José Meseguer:
Preface. Theor. Comput. Sci. 285(2): 119-120 (2002) - [j7]Narciso Martí-Oliet, José Meseguer:
Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002) - [j6]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002) - [j5]Isabel Pita, Narciso Martí-Oliet:
A Maude specification of an object-oriented model for telecommunication networks. Theor. Comput. Sci. 285(2): 407-439 (2002) - [c22]Prasanna Thati, Koushik Sen, Narciso Martí-Oliet:
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. WRLA 2002: 261-281 - [c21]Alberto Verdejo, Narciso Martí-Oliet:
Implementing CCS in Maude 2. WRLA 2002: 282-300 - 2001
- [c20]Isabel Pita, Narciso Martí-Oliet:
Proving modal and temporal properties of rewriting logic programs. APPIA-GULP-PRODE 2001: 277-295 - 2000
- [c19]Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari:
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR 2000: 259-274 - [c18]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude. FASE 2000: 371-374 - [c17]Alberto Verdejo, Narciso Martí-Oliet:
Implementing CCS in Maude. FORTE 2000: 351-366 - [c16]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Towards Maude 2.0. WRLA 2000: 294-315 - [c15]Manuel Clavel, Francisco Durán, Narciso Martí-Oliet:
Polytypic Programming in Maude. WRLA 2000: 339-360 - [c14]Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet:
The Leader Election Protocol of IEEE 1394 in Maude. WRLA 2000: 383-404
1990 – 1999
- 1999
- [c13]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
The Maude System. RTA 1999: 240-243