Paper Info
Title
Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras
Abstract
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performance characteristics of parallel and distributed systems. This is achieved by integrating performance modelling and analysis into the powerful and well investigated formal description technique of process algebras.
Year
DOI
Venue
1993
10.1007/BFb0013851
Performance/SIGMETRICS Tutorials
Keywords
Field
DocType
functional specification,system design,stochastic process algebras,performance analysis,distributed system,process algebra
Stochastic process algebra,Distributed system design,Computer science,Formal description,Multiprocessing,Theoretical computer science,Composition operator,Functional specification,Structured analysis,Distributed computing,Semantic data model
Conference
ISBN
Citations 
PageRank 
3-540-57297-X
99
9.78
References 
Authors
9
3
Name
Order
Citations
PageRank
Norbert Götz111111.92
Ulrich Herzog215719.74
Michael Rettelbach316717.29