Bisimulations for a calculus of broadcasting systems.

journal contribution

posted on 2023-06-07, 22:38 authored by M Hennessy, J Rathke

No description supplied

History

Publication status

Published

Journal

Theoretical Computer Science

External DOI

https://doi.org/10.1016/S0304-3975(97)00261-2

Issue

1-2

Volume

200

Page range

225-260

ISBN

0304-3975

Department affiliated with

Informatics Publications

Full text available

No

Peer reviewed?

Yes

Legacy Posted Date

2012-02-06

Usage metrics

Categories

No categories selected

Keywords

Uncategorised value

Licence

Copyright not evaluated

Exports