Bisimulations for a Calculus of Broadcasting Systems.

Matthew Hennessy Julian Rathke

Published in: CONCUR (1995)

Keyphrases

expert systems
distributed systems
management system
computer systems
complex systems
expressive power