|
579
|
Term rewriting systems
– Klop
- 1992
|
|
470
|
Petri Nets: An Introduction
– Reisig
- 1985
|
|
368
|
Conditional rewriting logic as a unified model of concurrency
– Meseguer
- 1992
|
|
200
|
Basic Concepts of Enriched Category Theory, volume 64
– Kelly
- 1982
|
|
156
|
Petri nets are monoids
– Meseguer, Montanari
- 1990
|
|
126
|
Functional Programming and Parallel Graph Rewriting
– Plasmeijer, Eekelen
- 1993
|
|
101
|
Traced monoidal categories
– Joyal, Street, et al.
- 1996
|
|
74
|
Review of the elements of 2-categories
– Kelly, Street
- 1974
|
|
52
|
Equational term graph rewriting
– Ariola, Klop
- 1996
|
|
48
|
From Petri nets to linear logic through categories: A survey
– Mart-Oliet, Meseguer
- 1991
|
|
31
|
An algebraic presentation of term graphs, via gs-monoidal categories
– Corradini, Gadducci
- 1999
|
|
30
|
A 2-categorical presentation of term graph rewriting
– Corradini, Gadducci
- 1997
|
|
25
|
Span(graph): A categorical algebra of transition systems
– Katis, Sabadini, et al.
- 1997
|
|
19
|
Foundations of equational deductions: A categorical treatment of equational proofs and unification algorithms
– Rydeheard, Stell
- 1987
|
|
18
|
Term Graph Reduction
– Barendregt, Eekelen, et al.
- 1987
|
|
18
|
Hyperedge replacement jungle rewriting for term rewriting systems and logic programming. Theoret
– Corradini, Rossi
- 1993
|
|
17
|
Categorical structures
– Street
- 1996
|
|
15
|
An abstract formulation for rewrite systems
– Power
- 1989
|
|
14
|
Implementing term rewriting by jungle evaluation
– Hoffmann, Plump
- 1991
|
|
14
|
On "On graph rewritings
– Kennaway
- 1987
|
|
13
|
Confluent rewriting of bisimilar term graphs
– Ariola, Klop, et al.
- 1997
|
|
13
|
Cyclic) term graph rewriting is adequate for rational parallel term rewriting
– Corradini, Drewes
- 1997
|
|
13
|
Rational term rewriting
– Corradini, Gadducci
- 1998
|
|
12
|
Models of sharing graphs
– Hasegawa
- 1997
|
|
12
|
On flowchart theories: Part II. The nondeterministic case
– Stefanescu
- 1987
|
|
11
|
Algebra of flownomials
– Stefanescu
- 1994
|
|
7
|
Term Rewriting in CT \Sigma
– Corradini
- 1993
|
|
5
|
Iteration 2-theories
– Esik, Manes
- 1997
|
|
3
|
Rewriting logic for cyclic sharing structures
– Miyoshi
- 1998
|
|
1
|
A new implementation tecnique for applicative languages
– Turner
- 1979
|
