1975 …2019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Jose Meseguer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Maude
Rewriting Logic
Rewriting
Specification
Modulo
Logic
Equational Logic
Termination
Model Checking
Formal Analysis
Axioms
Unification
Real-time
Concurrent Systems
Equational Theory
Reasoning
Algebra
Model
Associativity
Petri Nets
Completeness
Concurrent
Term Rewriting Systems
Cryptographic Protocols
Commutativity
Semantics
Reachability Analysis
Algebraic Semantics
Programming Languages
Module
Operational Semantics
Correctness
Formal Specification
Temporal Logic
Term Rewriting
Symbolic Analysis
Distributed Systems
Concurrency
Predicate
Deduction
Equality
Specification Languages

Engineering & Materials Science

Semantics
Specifications
Model checking
Algebra
Network protocols
Temporal logic
Real time systems
Computer programming languages
Petri nets
Theorem proving
Specification languages
Abstract data types
Logic programming
Chemical analysis
Formal methods
Hybrid systems
Functional programming