scientific article; zbMATH DE number 1946766

zbMATH Open1017.68579MaRDI QIDQ4411089FDOQ4411089

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)