|
СТ |
A Complete Axiomatic Semantics for the CSP Stable-Failures Model |
2006 |
Isobe Y., Roggenbach M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.09.2006 |
|
СТ |
Algebraic-Coalgebraic Specification in CoCASL |
2003 |
Mossakowski T., Reichel H., Roggenbach M., Schroder L. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Towards Trustworthy Specifications I: Consistency Checks |
2001 |
Roggenbach M., Schroder L. |
|
|
|
Lecture Notes in Computer Science |
03.03.2002 |
|
СТ |
Specifying Real Numbers in CASL |
2000 |
Roggenbach M., Schroder L., Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
