A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems, with an Application in Protocol Verification

Title:	A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems, with an Application in Protocol Verification
Author(s):	Andova, S. (184562953) Baeten, J.C.M. Willemse, T.A.C. (186007140) Baier, C. Hermanns, H.
Publication year:	2006
Document type:	Article in monograph or in proceedings
Book title:	CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings
ISBN:	3540373764 9783540373766
Start page:	p. 327
End page:	p. 342
Series:	Lecture notes in computer science ; 4137
Publisher:	Berlin ; New York : Springer
Related link(s):	http://dx.doi.org/10.1007/11817949_22
Subject:	Informatics for Technical Applications
Organization:	UMCN Extern Informatics for Technical Applications
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/36208