Characterization and verification of stuttering equivalence

DOI10.1007/978-3-030-01461-2_7zbMath1518.68234OpenAlexW2892507845MaRDI QIDQ6165772

Wen-Hui Zhang, Xin Xin Liu

Publication date: 2 August 2023

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

Full work available at URL: https://doi.org/10.1007/978-3-030-01461-2_7

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) Temporal logic (03B44)

This page was built for publication: Characterization and verification of stuttering equivalence