[图书][B] Concurrency verification: Introduction to compositional and non-compositional methods
WP De Roever - 2001 - books.google.com
This is a systematic and comprehensive introduction both to compositional proof methods for
the state-based verification of concurrent programs, such as the assumption-commitment …
the state-based verification of concurrent programs, such as the assumption-commitment …
[引用][C] Concurrency verification: introduction to compositional and noncompositional methods
WP Roever - (No Title) - cir.nii.ac.jp
Concurrency verification : introduction to compositional and noncompositional methods | CiNii
Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 …
Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 …
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
WP de Roever, F de Boer, U Hanneman, J Hooman… - 2012 - dl.acm.org
This is a systematic and comprehensive introduction both to compositional proof methods for
the state-based verification of concurrent programs, such as the assumption-commitment …
the state-based verification of concurrent programs, such as the assumption-commitment …
[PDF][PDF] Concurrency Verification: Introduction to Compositional and Noncompositional Methods
WP de Roever, F de Boer, U Hanneman, J Hooman… - 2001 - research.utwente.nl
The subject of this work is the state-based verification of concurrent programs. It is published
in two volumes. The leading theme of these volumes is the development of so-called …
in two volumes. The leading theme of these volumes is the development of so-called …
[PDF][PDF] Concurrency Verification
WP de Roever, F de Boer, U Hannemann, J Hooman… - 2001 - ris.utwente.nl
The subject of this work is the state-based verification of concurrent programs. It is published
in two volumes. The leading theme of these volumes is the development of so-called …
in two volumes. The leading theme of these volumes is the development of so-called …