On Meije and SCCS: Infinite sum operators vs. non-guarded definitions
Author:
- 31 December 1984
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 30 (1) , 133-138
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983