Open systems in TLA

DOI10.1145/197917.197960MaRDI QIDQ5361396zbMATH OpenOpenAlexFDO

Authors Martín Abadi, Leslie Lamport

Publication date 29 September 2017

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

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

zbMATH Keywords

temporal logic of actions

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)

Cited in

(1)

• Action systems in incremental and aspect-oriented modeling

This page was built for publication: Open systems in TLA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5361396)