Computing property-preserving behaviour abstractions from trace reductions
Publication:2787684
DOI10.1145/383962.384027zbMath1333.68180OpenAlexW2023452603MaRDI QIDQ2787684
Ulrich Ultes-Nitsche, Simon st. James
Publication date: 4 March 2016
Published in: Proceedings of the twentieth annual ACM symposium on Principles of distributed computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/383962.384027
partial-order methodsbehaviour abstractionsatisfaction within fairnesstrace reductionweakly continuation-closed homomorphisms
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
This page was built for publication: Computing property-preserving behaviour abstractions from trace reductions