Linda Christoff

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland
Priority and Abstraction in Process Algebra. FSTTCS (1994)
Linda Christoff, Ivan Christoff
Reasonong about Safety and Liveness Properties for Probabilistic Processes. FSTTCS (1992)
Linda Christoff, Ivan Christoff
Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. CAV (1991)