Process Algebra and Probabilistic Methods

Process Algebra and Probabilistic Methods
Author :
Publisher :
Total Pages : 240
Release :
ISBN-10 : UOM:39015048319597
ISBN-13 :
Rating : 4/5 ( Downloads)
GET BOOK
Book Synopsis Process Algebra and Probabilistic Methods by :

Download or read book Process Algebra and Probabilistic Methods written by and published by . This book was released on 2002 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Process Algebra and Probabilistic Methods Related Books

Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Language: en
Pages: 228

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Authors: Luca de Alfaro
Categories: Mathematics
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Language: en
Pages: 225

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Authors: Holger Hermanns
Categories: Mathematics
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

GET EBOOK

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the
Process Algebra and Probabilistic Methods: Performance Modelling and Verification
Language: en
Pages: 215

Process Algebra and Probabilistic Methods: Performance Modelling and Verification

Authors: Luca de Alfaro
Categories:
Type: BOOK - Published: 2001 - Publisher:

GET EBOOK

From Action Systems to Distributed Systems
Language: en
Pages: 302

From Action Systems to Distributed Systems

Authors: Luigia Petre
Categories: Computers
Type: BOOK - Published: 2016-04-27 - Publisher: CRC Press

GET EBOOK

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting
Transactions on Computational Systems Biology III
Language: en
Pages: 177

Transactions on Computational Systems Biology III

Authors: Corrado Priami
Categories: Computers
Type: BOOK - Published: 2005-12-12 - Publisher: Springer Science & Business Media

GET EBOOK

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sc