• A Sound and Complete Proof Sys...

Treffer: A Sound and Complete Proof System for Probabilistic Processes

Title:
A Sound and Complete Proof System for Probabilistic Processes
Real-time systems and concurrent and distributed software: Transformation-based reactive systems development
Authors:
Gomez, F. C., De Frutos Escrig, D., Ruiz, V. V.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (1231):340-352
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN019308390&indx=1&recIds=ETOCCN019308390
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings