Higher-level synchronising devices in Meije-SCCS
Author:
- Robert De SimoneRSRobert De Simone
- 1 January 1985
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 37, 245-267
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Proving systolic systems correctACM Transactions on Programming Languages and Systems, 1986
- On Meije and SCCS: Infinite sum operators vs. non-guarded definitionsTheoretical Computer Science, 1984
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- On Context-Free LanguagesJournal of the ACM, 1966