|
СТ |
Composition and Behaviors of Probabilistic I/O Automata |
1994 |
Wu S. -H., Smolka S. A., Stark E. W. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Fully Distributed, AND/OR-Parallel Execution of Logic Programs |
1988 |
Raman P., Stark E. W. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
|
СТ |
Fibrational Semantics of Dataflow Networks |
1998 |
Stark E. W. |
|
|
|
Lecture Notes in Computer Science |
11.09.1998 |
|
СТ |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools |
1999 |
Dong Y., Du X., Ramakrishna Y. S., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A., Sokolovsky O., Stark E. W., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
|
СТ |
The Integrated CWS-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems |
2003 |
Zhang D., Cleaveland R., Stark E. W. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
