Rewriting logic as a semantic framework for concurrency: A progress report

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper surveys the work of many researchers on rewriting logic since it was first introduced in 1990. The main emphasis is on the use of rewriting logic as a semantic framework for concurrency. The goal in this regard is to express as faithfully as possible a very wide range of concurrency models, each on its own terms, avoiding any encodings or translations. Bringing very different models under a common semantic t~amework makes easier to understand what different models have in common and how they differ, to find deep connections between them, and to reason across their different formalisms. It becomes also much easier to achieve in a rigorous way the integration and interoperation of different models and languages whose combination offers attractive advantages. The logic and model theory of rewriting logic are also summarized, a number of current research directions are surveyed, and some concluding remarks about future directions are made.

Original languageEnglish (US)
Title of host publicationCONCUR 1996
Subtitle of host publicationConcurrency Theory - 7th International Conference, Proceedings
EditorsUgo Montanari, Vladimiro Sassone
PublisherSpringer
Pages331-372
Number of pages42
ISBN (Print)9783540616047
DOIs
StatePublished - Jan 1 1996
Externally publishedYes
Event7th International Conference on Concurrency Theory, CONCUR 1996 - Pisa, Italy
Duration: Aug 26 1996Aug 29 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1119
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th International Conference on Concurrency Theory, CONCUR 1996
CountryItaly
CityPisa
Period8/26/968/29/96

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Rewriting logic as a semantic framework for concurrency: A progress report'. Together they form a unique fingerprint.

Cite this