Stochastic process algebra: From an algebraic formalism to an architectural description language

DOI10.1007/3-540-45798-4_11MaRDI QIDQ4411089zbMATH OpenFDO

Authors Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini

Publication date 7 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2459/24590236.htm

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2079828
• A process algebra for probabilistic and nondeterministic processes
• An ``abstract process approach to algebraic dynamic architecture description
• Structural Operational Semantics for Stochastic Process Calculi
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 2090710
• Implementing a stochastic process algebra within the Möbius modeling framework
• Validation of Stochastic Systems

Cited in

(6)

• An ``abstract process approach to algebraic dynamic architecture description
• Deadlock-freedom in component systems with architectural constraints
• Stochastic process algebras
• scientific article; zbMATH DE number 2079828 (Why is no real title available?)
• Component-oriented specification of performance measures
• Mixing logics and rewards for the component-oriented specification of performance measures

This page was built for publication: Stochastic process algebra: From an algebraic formalism to an architectural description language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411089)