Problem Solving Using Process Algebra Considered Insightful

DOI10.1007/978-3-319-68270-9_3zbMath1498.68186OpenAlexW2737169762MaRDI QIDQ5047039

Jan Friso Groote, E. P. 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)

Related Items (2)

An efficient algorithm to determine probabilistic bisimulation ⋮ Modeling and verification of reconfigurable printing system based on process algebra

This page was built for publication: Problem Solving Using Process Algebra Considered Insightful