Home

Back

Julian Rathke: BibTex


@inproceedings{HR95-biscbs,
  author	= {Hennessy, Matthew and Rathke, Julian},
  title		= {Bisimulations for a Calculus of Broadcasting Systems},
  booktitle	= {Proc. Conference on Concurrency Theory {CONCUR}},
  year		= {1995},
  series	= {Lecture Notes in Computer Science},
  volume	= {962},
  publisher	= {Springer-Verlag},
  pages		= {486--500},
}