Relative liveness and behavior abstraction (extended abstract)

DOI10.1145/259380.259419zbMath1374.68295OpenAlexW2048230495MaRDI QIDQ5361465

Ulrich Nitsche, Pierre Wolper

Publication date: 29 September 2017

Published in: Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/259380.259419

zbMATH Keywords

verificationbehavior abstractionrelative liveness propertiessimple homomorphisms

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)

A power-set construction for reducing Büchi automata to non-determinism degree two ⋮ On relative and probabilistic finite counterability

This page was built for publication: Relative liveness and behavior abstraction (extended abstract)