All Linear-Time Congruences for Familiar Operators

DOI10.2168/LMCS-9(4:11)2013zbMath1314.68201arXiv1310.8408MaRDI QIDQ2865064

Antti Valmari

Publication date: 28 November 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1310.8408

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)

Related Items (2)

All congruences below stability-preserving fair testing or CFFD ⋮ On constructibility and unconstructibility of LTS operators from other LTS operators

Uses Software

• LOTOS

This page was built for publication: All Linear-Time Congruences for Familiar Operators