Using max-plus algebra for the evaluation of stochastic process algebra prefixes

DOI10.1007/3-540-44804-7_10MaRDI QIDQ4798040zbMATH OpenFDO

Authors Lucia Cloth, Henrik C. Bohnenkamp, B. R. Haverkort

Publication date 18 March 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/2165/21650152.htm, https://ris.utwente.nl/ws/files/297655750/maxplus.pdf

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)

Recommendations

• Process algebra for performance evaluation
• A theory of stochastic systems. II: Process algebra
• scientific article; zbMATH DE number 744066
• Towards model checking stochastic process algebra
• scientific article; zbMATH DE number 836614

This page was built for publication: Using max-plus algebra for the evaluation of stochastic process algebra prefixes

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