Bisimulations for a calculus of broadcasting systems
type: Item
instance of: scholarly article
title: Bisimulations for a calculus of broadcasting systems
zbMATH Open document ID: 0915.68065
DOI: 10.1016/S0304-3975(97)00261-2
published in: Theoretical Computer Science
publication date: 1999-06-22T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1243218
zbMATH Keywords: broadcast calculus
zbMATH Keywords: bisimulation congruence
zbMATH Keywords: CBS
author: Matthew Hennessy
author: Julian Rathke
MaRDI profile type: Publication
cites work: On bisimulations for the asynchronous π-calculus
cites work: A proof system for communicating processes with value-passing
cites work: Communicating processes with value-passing and assignments
cites work: Proof systems for message-passing process algebras
cites work: Symbolic bisimulations
cites work: Q3938462
cites work: CONCUR '95: Concurrency theory. 6th international conference, Philadelphia, PA, USA, August 21--24, 1995. Proceedings
cites work: Q3992568
cites work: Barbed bisimulation
cites work: Broadcast Calculus Interpreted in CCS upto Bisimulation
cites work: Asynchronous process calculi: The first- and higher-order paradigms
description: scientific article; zbMATH DE number 1243218