Confluence for process verification
暂无分享,去创建一个
[1] Alex Sellink,et al. Verifying Process Algebra Proofs in Type Theory , 1993, Semantics of Specification Languages.
[2] Jan Friso Groote,et al. Proof Theory for µCRL: A Language for Processes with Data , 1993, Semantics of Specification Languages.
[3] Jan Friso Groote,et al. A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL , 1993, Comput. J..
[4] Jan Springintveld,et al. A Computer-Checked Verification of Milner's Scheduler , 1993, TACS.
[5] Jan Friso Groote,et al. Invariants in Process Algebra with Data , 1993, CONCUR.
[6] Anne Dicky,et al. An Algebraic Characterization of Transition System Equivalences , 1989, Inf. Comput..
[7] Huajun Quin,et al. Efficient Verification of Determinate Processes , 1991, CONCUR.