Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers

formal methods,1997, 引用: 7

,2001, 引用: 11

Journal of Information Processing,2009, 引用: 0

Formal Methods and Software Engineering,2003, 引用: 3

,1999, 引用: 51

The Journal of Supercomputing,2001, 引用: 11

Frontiers of Computer Science in China,2007, 引用: 37

formal methods,1996, 引用: 19

unifying theories of programming,2008, 引用: 7

formal methods,2013, 引用: 4