Elsevier logo

Publisher: Elsevier

Related content
Volume 4, Number 1, January 2004

< previous issue | all issues | next issue >

Rewriting Logic as a Logical and Semantic Framework
pp. 1-36(36)
Authors: Marti-Oliet, N.; Meseguer, J.

Solving Binary CSP Using Computational Systems
pp. 1-20(20)
Author: Castro, C.

An Actor Rewriting Theory
pp. 1-24(24)
Author: Talcott, C.L.

A reflective extension of ELAN
pp. 1-20(20)
Authors: Kirchner, H.; Moreau, P.

Specifying Real-Time Systems in Rewriting Logic
pp. 1-26(26)
Authors: Olveczky, P.C.; Meseguer, J.

Distributed Logic Objects - A Fragment of Rewriting Logic and its Implementation
pp. 1-16(16)
Authors: Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.

Controlling Rewriting by Rewriting
pp. 1-21(21)
Authors: Borovansky, P.; Kirchner, C.; Kirchner, H.

Discrete Event Systems in Rewriting Logic
pp. 1-12(12)
Author: Landauer, C.

Bi-rewriting Rewriting Logic
pp. 1-18(18)
Author: Schorlemmer, W.M.

ELAN - A logical framework based on computational systems
pp. 1-16(16)
Authors: Borovansky, P.; Kirchner, C.; Kirchner, H.; Moreau, P.; Vittek, M.

Tiles, Rewriting Rules and CCS
pp. 1-19(19)
Authors: Gadducci, F.; Montanari, U.

Input/Output for ELAN
pp. 1-14(14)
Author: Viry, P.

Principles of Maude
pp. 1-25(25)
Authors: Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.

Reflection and Strategies in Rewriting Logic
pp. 1-23(23)
Authors: Clavel, M.; Meseguer, J.

A Formal Approach to Object-Oriented Software Engineering
pp. 1-39(39)
Authors: Wirsing, M.; Knapp, A.

< previous issue | all issues | next issue >


Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page