Relation-based semantics for concurrency

N. Boudriga, Y. Slimani, A. Mili

Research output: Contribution to journalArticlepeer-review

Abstract

Despite several decades of research, capturing the semantics of concurrent programs in a crisp and tractable fashion remains a formidable challenge. In this paper, we present a relation-based model for defining the semantics of concurrent programs. Although it is still in its enfancy, this model shows some advantageous features, which make it worthy of further investigation.

Original languageEnglish (US)
Pages (from-to)223-252
Number of pages30
JournalInformation sciences
Volume75
Issue number3
DOIs
StatePublished - Dec 15 1993
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Theoretical Computer Science
  • Computer Science Applications
  • Information Systems and Management
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Relation-based semantics for concurrency'. Together they form a unique fingerprint.

Cite this