Guest | Login

An Axiomatization of Lamport's Temporal Logic of Actions

Company:Digital Equipment Corporation
Part:SRC RR-65
Date:1993-03-04
Keywords:

Copies

Address:http:/​/​bitsavers.org/​pdf/​dec/​tech_​reports/​SRC-RR-65.pdf
Site:Al Kossow's Bitsavers
Format:PDF
Size:187140 bytes (183 KiB)
Mirrors: