Compositional performance analysis using probabilistic I/O automata

DOI10.1007/3-540-44618-4_3MaRDI QIDQ4536590zbMATH OpenFDO

Authors Eugene W. Stark

Publication date 28 November 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44618-4_3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Composition and behaviors of probabilistic I/O automata
• Trace-Based Semantics for Probabilistic Timed I/O Automata
• A Compositional Approach to Performance Modelling
• Performance analysis of probabilistic timed automata using digital clocks
• Formal Modeling and Analysis of Timed Systems

Cited in

(2)

• Composition and behaviors of probabilistic I/O automata
• Task-structured probabilistic I/O automata

This page was built for publication: Compositional performance analysis using probabilistic I/O automata

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