Rewriting as a unified model of concurrency

Authors:
José Meseguer
Affiliations:
-
Venue:
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Year:
1991

Citing 6
Cited 0

Parallel program design: a foundation

Parallel program design: a foundation
An introduction to OBJ 3

1st international workshop on Conditional Term Rewriting Systems
The chemical abstract machine

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logical theory of concurrent objects

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Communication and Concurrency

Communication and Concurrency
Conditional Rewriting Logic: Deduction, Models and Concurrency

Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems

Quantified Score

Hi-index	0.03

Visualization

Abstract

The lecture given at the workshop was based on recent work published elsewhere [9, 10, 8, 7]. This abstract gives a brief description of the main results and ideas presented in that work, but does not provide any technical details; such details can be found in the papers mentioned above.