Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/46554
Title: PROCESSES WITH PROBABILITIES, PRIORITY AND TIME
Authors: Tofts, Chris
Keywords: Computer Science
Issue Date: 1-Dec-1993
Abstract: A probabilistic calculus, derived from Milner's SCCS, WSCCS is presented. We define a notion of bisimulation for probabilistic processes and show that it is a congruence. A simple equational characterisation is shown to be both sound and complete for finite processes. We present many examples including some extended ones. The larger examples show both the expressive power of WSCCS and the availability of simple proof methods for some complex systems.
URI: http://hdl.handle.net/1880/46554
Appears in Collections:Technical Reports

Files in This Item:
File Description SizeFormat 
1993-531-36.pdf2.98 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.