Back to Results
First PageMeta Content
Process calculi / Jane Hillston / PEPA / Markov chain / Laboratory for Foundations of Computer Science / Process calculus / Algebra / Edinburgh / Theoretical computer science / Mathematics / TAPAs model checker


Introduction Interplay: Process Algebra and Markov Process Applications
Add to Reading List

Document Date: 2005-09-27 05:37:50


Open Document

File Size: 1,58 MB

Share Result on Facebook