Find Research Outputs

Search concepts
Selected Filters
2018

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Lucas, S., Meseguer, J. & Gutiérrez, R., Jan 1 2018, (Accepted/In press) In : Journal of Computer and System Sciences.

Research output: Contribution to journalArticle

Termination
Rewriting
Term Rewriting Systems
Framework
Horizontal
2011

Protocol analysis in Maude-NPA using unification modulo homomorphic encryption

Escobar, S., Kapur, D., Lynch, C., Meadows, C., Meseguer, J., Narendran, P. & Sasse, R., Sep 2 2011, PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming. p. 65-76 12 p. (PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Homomorphic Encryption
Maude
Unification
Cryptography
Modulo
2018

A constructor-based reachability logic for rewrite theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer-Verlag, p. 201-217 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reachability
Semantics
Systems analysis
Acoustic waves
Logic

Modular Verification of Sequential Composition for Private Channels in Maude-NPA

Yang, F., Escobar, S., Meadows, C. & Meseguer, J., Jan 1 2018, Security and Trust Management - 14th International Workshop, STM 2018, Proceedings. Alcaraz, C., Katsikas, S. K. & Katsikas, S. K. (eds.). Springer-Verlag, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11091 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Network protocols
Chemical analysis
Equational Theory
Cryptographic Protocols
2014
Formal Specification
Fault tolerance
Fault Tolerance
Fault
Masking

Analysis of the ibm cca security api protocols in maude-npa

González-Burgueño, A., Santiago, S., Escobar, S., Meadows, C. & Meseguer, J., Jan 1 2014, Security Standardisation Research - 1st International Conference, SSR 2014, Proceedings. Mitchell, C. & Chen, L. (eds.). Springer-Verlag, p. 111-130 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8893).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Security Protocols
Application programming interfaces (API)
Network protocols
Cryptographic Protocols
2018

Symbolic reasoning methods in rewriting logic and maude

Meseguer, J., Jan 1 2018, Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings. Springer-Verlag, p. 25-60 36 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10944 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rewriting Logic
Maude
Reasoning
Engines
Computer programming languages
2014
Maude
Mobile ad hoc networks
Mobile Ad Hoc Networks
Mobility Model
Real-time
2010

Sequential protocol composition in Maude-NPA

Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Nov 8 2010, Computer Security, ESORICS 2010 - 15th European Symposium on Research in Computer Security, Proceedings. p. 303-318 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6345 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Chemical analysis
Semantics
Operational Semantics
Cryptographic Protocols
2017

Exploring Design Alternatives for RAMP Transactions Through Statistical Model, Checking

Liu, S., Ölveczky, P. C., Ganhotra, J., Gupta, I. & Meseguer, J., Jan 1 2017, Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Proceedings. Duan, Z. & Ong, L. (eds.). Springer-Verlag, p. 298-314 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10610 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Model Checking
Statistical Model
Transactions
Partition
2019

Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method

Escobar, S. & Meseguer, J., Jan 1 2019, Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Meseguer, J., Landwehr, C. E., Pavlovic, D. & Guttman, J. D. (eds.). Springer-Verlag, p. 15-38 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11565 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Irreducibility
Symbolic Analysis
Maude
Reachability Analysis
Equational Theory
2012

State space c-reductions of concurrent systems in rewriting logic

Lluch Lafuente, A., Meseguer, J. & Vandin, A., Dec 1 2012, Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Proceedings. p. 430-446 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7635 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rewriting Logic
Concurrent Systems
State Space
Maude
Proof of correctness
2014

A modular order-sorted equational generalization algorithm

Alpuente, M., Escobar, S., Espert, J. & Meseguer, J., Apr 2014, In : Information and Computation. 235, p. 98-136 39 p.

Research output: Contribution to journalArticle

Axioms
Unification
Theorem proving
Program Synthesis
Partial Evaluation
2013

The rewriting logic semantics project: A progress report

Meseguer, J. & Roşu, G., Oct 10 2013, In : Information and Computation. 231, p. 38-69 32 p.

Research output: Contribution to journalArticle

Rewriting Logic
Semantics
Computer hardware
Scalability
Modeling Language
2011

Incremental checking of well-founded recursive specifications modulo axioms

Schernhammer, F. & Meseguer, J., Sep 2 2011, PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming. p. 5-16 12 p. (PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Axioms
Modulo
Commutativity
Specification
Specifications
2019

Automatic analysis of consistency properties of distributed transaction systems in maude

Liu, S., Ölveczky, P. C., Zhang, M., Wang, Q. & Meseguer, J., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Springer-Verlag, p. 40-57 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Maude
Model checking
Fault tolerance
Transactions
Scalability
2010

The linear temporal logic of rewriting maude model checker

Bae, K. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 208-225 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Linear Temporal Logic
Temporal logic
Rewriting
Model

Concurrent rewriting semantics and analysis of asynchronous digital circuits

Katelman, M., Keller, S. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 140-156 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Asynchronous Circuits
Production Rules
Digital Circuits
Digital circuits
Rewriting
2015

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study

Bae, K., Krisiloff, J., Meseguer, J. & Ölveczky, P. C., Jun 1 2015, In : Science of Computer Programming. 103, p. 13-50 38 p.

Research output: Contribution to journalArticle

Aircraft
Control systems
Model checking
Distributed parameter control systems
Aviation

Quantitative analysis of consistency in NoSQL key-value stores

Liu, S., Nguyen, S., Ganhotra, J., Rahman, M. R., Gupta, I. & Meseguer, J., Jan 1 2015, Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Proceedings. Campos, J. & Haverkort, B. R. (eds.). Springer-Verlag, p. 228-243 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9259).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quantitative Analysis
Model checking
Chemical analysis
Probabilistic Model
Model Checking
2016

Towards generic monitors for object-oriented real-time maude specifications

Moreno-Delgado, A., Durán, F. & Meseguer, J., Jan 1 2016, Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016 Held as a Satellite Event of ETAPS 2016, Revised Selected Papers. Lucanu, D. (ed.). Springer-Verlag, p. 134-151 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9942 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Object-oriented
Monitor
Specification
Specifications
2012

Unwinding and Inference Control

Goguen, J. A. & Meseguer, J., Jul 6 2012, In : Proceedings - IEEE Symposium on Security and Privacy. 2012-July, July, p. 75-86 12 p., 6234812.

Research output: Contribution to journalConference article

Security of data
2010

Folding variant narrowing and optimal variant termination

Escobar, S., Sasse, R. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 52-68 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Folding
Termination
Modulo
Computing
Term

Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories

Rocha, C. & Meseguer, J., Jan 1 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Fermuller, C. G. & Voronkov, A. (eds.). Springer-Verlag, p. 594-609 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Deadlock
Completeness
Sufficient
Specifications
Maude

A dependency pair framework for AVC-termination

Alarcón, B., Lucas, S. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 35-51 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Termination
Computer programming languages
Rewriting
Equational Theory
Modulo
2014

Proving operational termination of declarative programs in general logics

Lucas, S. & Meseguer, J., Sep 8 2014, PPDP 2014 - Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, Inc, p. 111-122 12 p. (PPDP 2014 - Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Schematic diagrams
Semantics
2011

Preface

Agha, G., Danvy, O. & Meseguer, J., Dec 1 2011, Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Agha, G., Meseguer, J. & Danvy, O. (eds.). p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7000 LNCS).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

2017

Partial evaluation of order-sorted equational programs modulo axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2017, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Springer-Verlag, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Partial Evaluation
Axioms
Modulo
Maude
Commutativity
2011

Synchronous AADL and its formal analysis in real-time maude

Bae, K., Ölveczky, P. C., Al-Nayeem, A. & Meseguer, J., Nov 9 2011, Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Proceedings. p. 651-667 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6991 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Formal Analysis
Avionics
Synchronous Systems
Real-time
2019

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer-Verlag, p. 38-55 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11408 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Associativity
Commutativity
Homeomorphic
Axioms
Modulo
2010

A maude coherence checker tool for conditional order-sorted rewrite theories

Durán, F. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 86-103 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Axioms
Modulo
Associativity
Commutativity

Formal semantics and analysis of behavioral AADL models in real-time Maude

Ölveczky, P. C., Boronat, A. & Meseguer, J., Jul 21 2010, Formal Techniques for Distributed Systems - Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010, Proceedings. p. 47-62 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6117 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Formal Semantics
Formal Analysis
Semantics
Real-time
2015

Model checking linear temporal logic of rewriting formulas under localized fairness

Bae, K. & Meseguer, J., Mar 1 2015, In : Science of Computer Programming. 99, p. 193-234 42 p.

Research output: Contribution to journalArticle

Temporal logic
Model checking
Specification languages
User interfaces
2016

Order-sorted rewriting and congruence closure

Meseguer, J., Jan 1 2016, Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Löding, C. & Jacobs, B. (eds.). Springer-Verlag, p. 493-509 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Theorem proving
Rewriting
Polymorphism
Congruence
Closure
2014
Axioms
Artificial intelligence
Data structures
Reasoning
Semantics
2016

Strand spaces with choice via a process Algebra semantics

Yang, F., Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Sep 5 2016, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016. Association for Computing Machinery, Inc, p. 76-89 14 p. (Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Algebra
Semantics
Taxonomies
2013

Statistical model checking for composite actor systems

Eckhardt, J., Mühlbauer, T., Meseguer, J. & Wirsing, M., Jul 17 2013, Recent Trends in Algebraic Development Techniques - 21st International Workshop, WADT 2012, Revised Selected Papers. p. 143-160 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7841 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Model Checking
Statistical Model
Composite
Bisimulation
2014

Models for logics and conditional constraints in automated proofs of termination

Lucas, S. & Meseguer, J., Jan 1 2014, Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Proceedings. Calmet, J., Aranda-Corral, G. A. & Martín-Mateos, F. J. (eds.). Springer-Verlag, p. 9-20 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8884).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Termination
Logic
Numerics
Linear algebra
Real Algebraic Geometry
2013

Asymmetric unification: A new unification paradigm for cryptographic protocol analysis

Erbatur, S., Escobar, S., Kapur, D., Liu, Z., Lynch, C. A., Meadows, C., Meseguer, J., Narendran, P., Santiago, S. & Sasse, R., Jul 15 2013, CADE 2013 - 24th International Conference on Automated Deduction, Proceedings. p. 231-248 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7898 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cryptographic Protocols
Unification
Paradigm
Network protocols
Computability and decidability
2018

Variant-based decidable satisfiability in initial algebras with predicates

Gutiérrez, R. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer-Verlag, p. 306-322 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Predicate
Algebra
Data structures
Decision Procedures
Data Structures
2014
2012

PALS-based analysis of an airplane multirate control system in real-time maude

Bae, K., Krisiloff, J., Meseguer, J. & Ölveczky, P. C., Dec 29 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 105, p. 5-21 17 p.

Research output: Contribution to journalConference article

Open Access
Aircraft
Control systems
Hybrid systems
Systems analysis
Distributed parameter control systems
2018

Generalized rewrite theories and coherence completion

Meseguer, J., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag, p. 164-183 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Completion
Reasoning
Requirements
Standards
2015
Leader Election
Maude
Formal Analysis
Mobile ad hoc networks
Mobile Ad Hoc Networks
2014

A rewriting-based forwards semantics for Maude-NPA

Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Jan 1 2014, Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014. Association for Computing Machinery, 3. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Network protocols
Model checking
Authentication
Cryptography
2010

A church-rosser checker tool for conditional order-sorted equational maude specifications

Durán, F. & Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 69-85 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maude
Religious buildings
Associativity
Commutativity
Axioms
2015

Symbolic protocol analysis with disequality constraints modulo equational theories

Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Jan 1 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 238-261 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9465).

Research output: Chapter in Book/Report/Conference proceedingChapter

Equational Theory
Algebra
Modulo
Cryptographic Protocols
Formal Analysis
2016

Normal forms and normal theories in conditional rewriting

Lucas, S. & Meseguer, J., Jan 2016, In : Journal of Logical and Algebraic Methods in Programming. 85, 1, p. 67-97 31 p.

Research output: Contribution to journalArticle

Rewriting
Normal Form
Algebra
Semantics
Termination
2011

The rewriting logic semantics project: A progress report

Meseguer, J. & Roşu, G., Sep 9 2011, Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Proceedings. p. 1-37 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6914 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rewriting Logic
Semantics
Computer hardware
Scalability
Modeling Language