All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs

DOI10.1007/978-3-642-32940-1_13zbMath1314.68200OpenAlexW1880786369MaRDI QIDQ2914369

Antti Valmari

Publication date: 25 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_13

zbMATH Keywords

verificationprocess algebracompositionalitysemantics

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)

This page was built for publication: All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs