|
СТ |
Concepts and Notions for Concurrent Programming |
1983 |
Andrews G. R., Schneider F. B. |
|
|
|
Computing Surveys |
08.07.1998 |
|
СТ |
Avoiding the Undefined by Underspecification |
1995 |
Gries D., Schneider F. B. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
|
СТ |
Hybrid Verification by Exploiting the Environment |
1994 |
Fix L., Schneider F. B. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
Reasoning about Programs by Exploiting the Environment Extended Abstract |
1994 |
Fix L., Schneider F. B. |
|
|
|
Lecture Notes in Computer Science |
11.08.1994 |
|
СТ |
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial |
1990 |
Schneider F. B. |
|
|
|
ACM Computing Surveys |
04.06.1993 |
|
СТ |
Optimal Primary-Backup Protocols |
1992 |
Budhiraja N., Marzullo K., Schneider F. B., Toueg S. |
|
|
|
Lecture Notes in Computer Science |
28.11.1992 |
|
СТ |
Trace-Based Network Proof Systems: Expressiveness and Completeness |
1992 |
Widom J., Gries D., Schneider F. B. |
|
|
|
ACM Trans. Programming Languages and Systems |
06.09.1992 |
|
СТ |
Putting Time into Proof Outlines |
1992 |
Schneider F. B., Bloom B., Marzullo K. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
