|
П |
On Semantics of Non Deterministic Recursive Program Schemes |
1983 |
Arnold A., Naudin P., Nivat M. |
|
|
LITP |
|
28.09.1999 |
|
СТ |
Synchronized Products of Transition Systems and Their Analysis |
1998 |
Arnold A. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Hypertransition Systems |
1994 |
Arnold A. |
|
|
|
Lecture Notes in Computer Science |
26.03.1994 |
|
СТ |
Equivalences and Preorders of Transition Systems |
1993 |
Arnold A., Dicky A. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
|
СТ |
Verification and Comparison of Transition Systems |
1993 |
Arnold A. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
