W.-P. de Roever, F. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, and J. Zwiers. Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University Press, Cambridge, UK, 2001. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Composition for Component-Based Modeling - Gössler, Sifakis (Correct)
Verifying a Design Pattern for the Fault-Tolerant Execution.. - Kindler, Shasha (2000) (Correct)
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
A Formal Basis for Some Dependability Notions - Jones (2003) (1 citation) (Correct)
Proof Rules for Automated Compositional Verification.. - Barringer.. (2003) (2 citations) (Correct)
Assumption Generation for Software Component Verification - Giannakopoulou.. (2002) (8 citations) (Correct)
Proof Rules for Automated Compositional Verification.. - Barringer.. (2003) (2 citations) (Correct)
Compositional Verification for Secure Loading of Smart.. - Sprenger, Gurov, Huisman (2004) (Correct)
Composing Invariants - Charpentier (Correct)
On the Completeness of Compositional Reasoning - Namjoshi, Trefler (2000) (5 citations) (Correct)
On Message Specifications in OCL - Kyas, de Boer (2003) (3 citations) Self-citation (De boer) (Correct)
Using ASF+SDF for the Verification of Annotated Java Programs - de Haan (2003) Self-citation (De boer) (Correct)
A Hoare Logic for Monitors in Java - Abraham, de Boer, de Roever, Steffen Self-citation (De roever De boer) (Correct)
Verification of Hybrid Systems: Formalization and.. - Abraham-Mumm.. (2000) Self-citation (Hannemann) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC