A formal software development approach using refinement calculus
From MaRDI portal
Publication:5942699
DOI10.1007/BF02943203zbMath0981.68019MaRDI QIDQ5942699
Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng
Publication date: 16 December 2001
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N01: General topics in the theory of software
Uses Software
Cites Work