Maude: specification and programming in rewriting logic

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

Computing, Computer Science, Computer Systems +9

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Joseph A. Goguen, José Meseguer · Theoretical Computer Science · 1992 · 496 citations

Natural Sciences, Computer Science, Algebra +12

An Overview of ELAN

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau et al. · Electronic Notes in Theoretical Computer Science · 1998 · 398 citations · Full text

Computing, Computer Science, Natural Language Processing +10

Completion of a Set of Rules Modulo a Set of Equations

Jean-Pierre Jouannaud · SIAM Journal on Computing · 1986 · 376 citations

Computing, Computer Science, Programming Languages +5