A brief history of process algebra 论文

2005Theoretical Computer Science引用 315

Formal Methods in VerificationComputability, Logic, AI AlgorithmsLogic, programming, and type systems

Computability, Logic, AI Algorithms Logic, programming, and type systems Formal Methods in Verification

相关技术:Formal Methods in Verification Computability, Logic, AI Algorithms

A brief history of process algebra · 作者

J. C. M. Baeten