Open systems in TLA

DOI10.1145/197917.197960zbMath1374.68315OpenAlexW1966306585MaRDI QIDQ5361396

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)

Related Items (1)

Action systems in incremental and aspect-oriented modeling

This page was built for publication: Open systems in TLA