|
СТ |
Gateways for Accessing Fault Tolerance Domains |
2000 |
Narasimhan P., Moser L. E., Melliar-Smith P. M. |
|
|
|
Lecture Notes in Computer Science |
28.04.2000 |
|
СТ |
MAgNET: Mobile Agents for Networked Electronic Trading |
1999 |
Dasgupta P., Narasimhan N., Moser L. E., Melliar-Smith P. M. |
|
|
|
IEEE Trans. on Knowledge and Data Engineering |
15.12.1999 |
|
СТ |
Using Interceptors to Enchance CORBA |
1999 |
Narasimhan P., Moser L. E., Melliar-Smith P. M. |
|
|
|
Computer |
31.08.1999 |
|
СТ |
Totem: A Fault-Tolerant Multicast Group Communication System |
1996 |
Moser L. E., Melliar-Smith P. M., Agarwal D. A., Budhia R. K., Lingley-Papadopoulos C. A. |
|
|
|
Communications of the ACM |
06.05.1996 |
|
СТ |
Probabilistic Duration Automata for Analyzing Real-Time Systems |
1996 |
Moser L. E., Melliar-Smith P. M. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
A Graphical Interval Logic for Specifying Concurrent Systems |
1994 |
Dillon L. K., Kutty G., Moser L. E., Melliar-Smith P. M., Ramakrishna Y. S. |
|
|
|
ACM Trans. Software Engineering and Methodology |
14.12.1994 |
|
СТ |
First-Order Future Interval Logic |
1994 |
Kutty G., Moser L. E., Melliar-Smith P. M., Dillon L. K., Ramakrishna Y. S. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
|
СТ |
A Real-Time Interval Logic and Its Decision Procedure |
1993 |
Ramakrishna Y. S., Dillon L. K., Moser L. E., Melliar-Smith P. M., Kutty G. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |
|
СТ |
A Grafical Interval Logic Toolset for Verifying Concurrent Systems |
1993 |
Kutty G., Ramakrishna Y. S., Moser L. E., Dillon L. K., Melliar-Smith P. M. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
An Automata-Theoretic Decision Procedure for Future Interval Logic |
1992 |
Ramakrishna Y. S., Dillon L. K., Moser L. E., Melliar-Smith P. M., Kutty G. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
