Transforming sequential systems into concurrent systems

Publisher Website

1 January 1985

journal article
Published by Elsevier in Theoretical Computer Science

Vol. 36, 27-58
https://doi.org/10.1016/0304-3975(85)90029-5

Abstract

No abstract available

This publication has 8 references indexed in Scilit:

Nets, sequential components and concurrency relations
Theoretical Computer Science, 1984
A methodology for programming with concurrency: the formalism
Science of Computer Programming, 1982
A methodology for programming with concurrency: An informal presentation
Science of Computer Programming, 1982
COSY ? a system specification language based on paths and processes
Acta Informatica, 1979
Abstract specification of resource accessing disciplines
ACM SIGPLAN Notices, 1978
Concurrent Program Schemes and their Interpretations
DAIMI Report Series, 1977
Formal semantics of a class of high-level primitives for coordinating concurrent processes
Acta Informatica, 1975
Concurrent control with “readers” and “writers”
Communications of the ACM, 1971

Cited by 9 articles