Probabilistic Programming Process Algebra

First Author: Georgoulas A
Attributed to:  Systems training in maths informatics and computational biology (SySMIC) funded by BBSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-10696-0_21

Publication URI: http://dx.doi.org/10.1007/978-3-319-10696-0_21

Type: Book Chapter

Book Title: Quantitative Evaluation of Systems (2014)

Page Reference: 249-264

ISSN: 2666-9862