Rewriting Logic as a Logical and Semantic Framework (1993)

by Narciso Martí-Oliet , José Meseguer
Citations:147 - 52 self

Active Bibliography

10 Action and Change in Rewriting Logic – Narciso Martí-Oliet, José Meseguer - 1996
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
23 Nominal logic programming – James Cheney, Christian Urban - 2006
9 Rule-Based Constraint Programming – Claude Kirchner, Christophe Ringeissen - 1998
60 A Foundation for Higher-order Concurrent Constraint Programming – Gert Smolka - 1994
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1 Theory for Software Verification – David A. Naumann - 2009
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
Foundations of Constraint Programming Approaches: Concurrent Semantics for Concurrent Constraint Programs – Francesca Rossi, Ugo Montanari
34 Operational congruences for reactive systems – James Judi Leifer - 2001
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995