On TLA as a logic

Authors:
Martín Abadi;Stephan Merz
Affiliations:
-;-
Venue:
Proceedings of the NATO Advanced Study Institute on Deductive program design
Year:
1996

Citing 0
Cited 3

Animating TLA Specifications

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A More Complete TLA

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Specification and refinement of mobile systems in MTLA and mobile UML

Theoretical Computer Science - Algebraic methodology and software technology

Quantified Score

Hi-index	0.00

Visualization

Abstract