Conference paper
Experiences porting the jikes RVM to Linux/IA32
Bowen Alpern, María Butrico, et al.
JAVA VM 2002
A formal characterization for safety properties and liveness properties is given in terms of the structure of the Buchi automaton that specifies the property. The characterizations permit a property to be decomposed into a safety property and a liveness property whose conjunction is the original. The characterizations also give insight into techniques required to prove a large class of safety and liveness properties. © 1987 Springer-Verlag.
Bowen Alpern, María Butrico, et al.
JAVA VM 2002
Nils Klarlund, Fred B. Schneider
Information and Computation
Bowen Alpern, Anthony Cocchi, et al.
JAVA VM 2001
Bowen Alpern, Roger Hoover, et al.
SODA 1990