[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Martin Abadi & Leslie Lamport
- An Old-fashioned recipe for Real Time
- ACM TOPLAS V16n5(Sep 1994)pp1543-1571 See
- =MATHEMATICAL TIMING LOGIC
- Review CR9507-0506 F.3.1: uses TLA as a base
- can reason separately about function and timing(by var now:real). Two problems: now can get stuck (Zeno-ness) or two requirements can conflict. ->> detect and correct spec to avoid. (not in A&L 1992?)
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]