Problem solving using process algebra considered insightful

DOI10.1007/978-3-319-68270-9_3MaRDI QIDQ5047039zbMATH OpenOpenAlexFDO

Authors Jan Friso Groote, Erik de Vink

Publication date 9 November 2022

Published in ModelEd, TestEd, TrustEd (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-68270-9_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)

Recommendations

• scientific article; zbMATH DE number 1638655
• Process algebras for systems diagnosis.
• Process algebra and model checking
• scientific article; zbMATH DE number 1555176
• scientific article; zbMATH DE number 1786478

Cited in

(4)

• Real equation systems with alternating fixed-points
• An efficient algorithm to determine probabilistic bisimulation
• Infinite choice and probability distributions. An open problem: the real hotel
• Modeling and verification of reconfigurable printing system based on process algebra

This page was built for publication: Problem solving using process algebra considered insightful

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