An Algebraic Characterization of the Behaviour of Non-Sequential Systems
暂无分享，去创建一个
[1] Andrzej Blikle. An Algebraic Approach to Programs and Their Computations , 1973, MFCS.
[2] S. Maclane,et al. Categories for the Working Mathematician , 1971 .
暂无分享，去创建一个
[1] Andrzej Blikle. An Algebraic Approach to Programs and Their Computations , 1973, MFCS.
[2] S. Maclane,et al. Categories for the Working Mathematician , 1971 .