Department of Mathematics, School of Science and Engineering, Waseda University
Volume 19 (1983)
(compatible with EndNote, Reference Manager, ProCite, RefWorks)
(compatible with BibDesk, LaTeX)
A formal system FLm, n is proposed to analyze the specification of concurrent programs. The soundness theorem for FLm, n is also proved.
Publications of the Research Institute for Mathematical Sciences, Kyoto University. Ser. A
Already have an account? Login in here