scientific article; zbMATH DE number 1946766

MaRDI QIDQ4411089zbMATH OpenFDO

Authors Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini

Publication date 7 July 2003

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

Mathematics Subject Classification ID

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

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
• scientific article; zbMATH DE number 1890702
• Validation of Stochastic Systems

Cited in

(5)

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

This page was built for publication:

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