Views of queues
Open Access
- 31 October 1988
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 11 (1) , 65-86
- https://doi.org/10.1016/0167-6423(88)90065-2
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Predicative specifications for functional programs describing communicating networksInformation Processing Letters, 1987
- Denotational semantics of communicating sequential programsInformation Processing Letters, 1986
- Top-down design and the algebra of communicating processesScience of Computer Programming, 1985
- On hierarchies of abstract data typesActa Informatica, 1983