Concurrency and computability
Author:
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 223-238
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Recursive ω-rule for proof systemsInformation Processing Letters, 1989
- Bismulation and effectivenessInformation Processing Letters, 1989
- Infinite streams and finite observations in the semantics of uniform concurrencyTheoretical Computer Science, 1987
- Fairness1986
- Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langagesRAIRO - Theoretical Informatics and Applications, 1986
- Notes on Algebraic Calculi of Processes1985
- Liveness properties as convergence in metric spaces1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Π12-logic, Part 1: DilatorsAnnals of Mathematical Logic, 1981