Algebraic Operational Semantics and Occam



All Links

Share this:

Details of Algebraic Operational Semantics and Occam

About Algebraic Operational Semantics and Occam
Algebraic Operational Semantics and Occam- Article by Yuri Gurevich, Lawrence S. Moss.