| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Formal Approach to Object-Oriented Software Engineering
|
Wirsing, Martin
|
|
1996
|
4 |
C |
p. 322-360
39 p.
|
artikel
|
| 2 |
A Maude specification of an object-oriented database model for telecommunication networks
|
Pita, Isabel
|
|
1996
|
4 |
C |
p. 405-423
19 p.
|
artikel
|
| 3 |
An Actor Rewriting Theory
|
Talcott, Carolyn L.
|
|
1996
|
4 |
C |
p. 361-384
24 p.
|
artikel
|
| 4 |
A reflective extension of ELAN
|
Kirchner, Hélène
|
|
1996
|
4 |
C |
p. 149-168
20 p.
|
artikel
|
| 5 |
Bi-rewriting Rewriting Logic 1 1 Supported by project DISCOR (TIC 94-0847-C02-01) funded by the CICYT
|
Schorlemmer, W.Marco
|
|
1996
|
4 |
C |
p. 266-283
18 p.
|
artikel
|
| 6 |
Controlling Rewriting by Rewriting
|
Borovanský, Peter
|
|
1996
|
4 |
C |
p. 169-189
21 p.
|
artikel
|
| 7 |
Discrete Event Systems in Rewriting Logic
|
Landauer, Christopher
|
|
1996
|
4 |
C |
p. 310-321
12 p.
|
artikel
|
| 8 |
Distributed Logic Objects
|
Ciampolini, Anna
|
|
1996
|
4 |
C |
p. 110-125
16 p.
|
artikel
|
| 9 |
ELAN
|
Borovanský, Peter
|
|
1996
|
4 |
C |
p. 35-50
16 p.
|
artikel
|
| 10 |
Fast matching in combinations of regular equational theories
|
Eker, S.
|
|
1996
|
4 |
C |
p. 90-109
20 p.
|
artikel
|
| 11 |
Foundations of Behavioural Specification in Rewriting Logic
|
Diaconescu, Răzvan
|
|
1996
|
4 |
C |
p. 226-245
20 p.
|
artikel
|
| 12 |
Input/Output for ELAN
|
Viry, Patrick
|
|
1996
|
4 |
C |
p. 51-64
14 p.
|
artikel
|
| 13 |
Modelling Conditional Rewriting Logic in Structured Categories
|
Miyoshi, Hiroyuki
|
|
1996
|
4 |
C |
p. 20-34
15 p.
|
artikel
|
| 14 |
Object-Oriented Specifications of Distributed Systems in the μ-Calculus and Maude
|
Lechner, Ulrike
|
|
1996
|
4 |
C |
p. 385-404
20 p.
|
artikel
|
| 15 |
Preface
|
Meseguer, José
|
|
1996
|
4 |
C |
p. 424-425
2 p.
|
artikel
|
| 16 |
Principles of Maude
|
Clavel, M.
|
|
1996
|
4 |
C |
p. 65-89
25 p.
|
artikel
|
| 17 |
Reflection and Strategies in Rewriting Logic 1 1 Supported by Office of Naval Research Contracts N00014-95-C-0225 and N00014-96-C-0114, National Science Foundation Grant CCR-9224005, and by the Information Technology Promotion Agency, Japan, as a part of the Industrial Science and Technology Frontier Program “New Models for Software Architecture” sponsored by NEDO (New Energy and Industrial Technology Development Organization).
|
Clavel, Manuel
|
|
1996
|
4 |
C |
p. 126-148
23 p.
|
artikel
|
| 18 |
Rewriting Logic as a Logical and Semantic Framework 1 1 This paper is a short version of [36], where the reader can find more examples and details not discussed here.
|
Martí-Oliet, Narciso
|
|
1996
|
4 |
C |
p. 190-225
36 p.
|
artikel
|
| 19 |
Solving Binary CSP Using Computational Systems
|
Castro, Carlos
|
|
1996
|
4 |
C |
p. 246-265
20 p.
|
artikel
|
| 20 |
Specifying Real-Time Systems in Rewriting Logic
|
Ölveczky, Peter Csaba
|
|
1996
|
4 |
C |
p. 284-309
26 p.
|
artikel
|
| 21 |
Tiles, Rewriting Rules and CCS
|
Gadducci, Fabio
|
|
1996
|
4 |
C |
p. 1-19
19 p.
|
artikel
|
Tijdschrift beschrijving