Linda Christoff

According to our database, Linda Christoff authored at least 3 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Priority and Abstraction in Process Algebra.

V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1992

Reasonong about Safety and Liveness Properties for Probabilistic Processes.

Linda Christoff, Ivan Christoff

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991

Efficient Algorithms for Verification of Equivalences for Probabilistic Processes.

Linda Christoff, Ivan Christoff

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991