СТ |
A Compositional Operational Semantics for JavaMT |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
СТ |
A Dense-Time Temporal Logic with Nice Compositionality Properties |
1997 |
Cau A., De Roever W. -P. |
|
|
|
Lecture Notes in Computer Science |
10.12.1997 |
СТ |
A Tool-Supported Proof System for Multithreaded Java |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
СТ |
Compositional Proof Methods for Concurrency: A Semantic Approach |
1998 |
de Boer F. S., De Roever W. -P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
СТ |
Final Report on ESPRIT BRA Project 3096 - SPEC |
1992 |
De Roever W. -P. |
|
|
|
EATCS Bull. |
19.08.1992 |
СТ |
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach |
1999 |
de Boer F. S., Hannemann U., De Roever W. -P. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
СТ |
Formal Semantics for Ward & Mellor s Transformation Schemas and the Specification of Fault-Tolerant Systems |
1994 |
Petersohn C., Huizing C., Peleska J., De Roever W. -P. |
|
|
|
Lecture Notes in Computer Science |
21.10.1994 |
СТ |
Inductive Proof Outlines for Monitors in Java |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
СТ |
Predicates are Predicate Transformers: a unified compositional theory for concurrency |
1990 |
Zwiers J., De Roever W. -P. |
|
|
Univ. di Pisa |
Concurrency and Compositionality |
30.06.1995 |
СТ |
Simulation of Specification Statements in Hoare Logic |
1996 |
Engelhardt K., De Roever W. -P. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1996 |
11.10.1996 |
СТ |
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems |
1995 |
Zwiers J., Hannemann U., Lakhneche Y., De Roever W. -P. |
|
|
|
Lecture Notes in Computer Science |
30.01.1996 |
СТ |
The Need for Compositional Proof Systems: A Survey |
1998 |
De Roever W. -P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.01.1999 |
СТ |
Using Relative Refinement for Fault Tolerance |
1993 |
Cau A., De Roever W. -P. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
СТ |
Verification for Java s Reentrant Multithreading Concept |
2002 |
Abraham-Munn E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |