A calculus of broadcasting systems
- 1 December 1995
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 25 (2-3) , 285-327
- https://doi.org/10.1016/0167-6423(95)00017-8
Abstract
No abstract availableKeywords
This publication has 39 references indexed in Scilit:
- Innovation of laboratory exercises in course Distributed systems and computer networksJournal of Physics: Conference Series, 2013
- Symbolic bisimulationsTheoretical Computer Science, 1995
- A Theory for SimulatorsThe Computer Journal, 1994
- Parallel graph algorithms based upon broadcast communicationsIEEE Transactions on Computers, 1990
- A bibliography on multicast and group communicationsACM SIGOPS Operating Systems Review, 1989
- Algebraic theory of processes : By M. Hennessy. MIT Press, Cambridge, MA, 1988, Price £16.95 (paperback), ISBN 0-262-08171-7.Science of Computer Programming, 1989
- Broadcasting buffering communicationComputer Languages, 1988
- Nondeterminism with Referential Transparency in Functional Programming LanguagesThe Computer Journal, 1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Testing equivalences for processesTheoretical Computer Science, 1984