 | 1994 |
| 5 |  | J. K. Kishore,
R. S. Manjunatha,
V. K. Agrawal,
N. K. Malik,
Prem Shankar Goel:
A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft.
FTRTFT 1994: 476-487 |
| 1992 |
| 4 |  | Shri Balaji,
Lalit M. Patnaik,
Lawrence Jenkins,
Prem Shankar Goel:
S-Nets: A Petri Net Based Model for Performance Evaluation of Real-Time Scheduling Algorithms.
J. Parallel Distrib. Comput. 15(3): 225-237 (1992) |
| 1989 |
| 3 |  | Shri Balaji,
Lawrence Jenkins,
Lalit M. Patnaik,
Prem Shankar Goel:
Workload redistribution for fault-tolerance in a hard real-time distributed computing system.
FTCS 1989: 366-373 |
| 1987 |
| 2 |  | Sajal K. Das,
V. K. Agrawal,
Dilip Sarkar,
Lalit M. Patnaik,
Prem Shankar Goel:
Reflexive Incidence Matrix (RIM) Representation of Petri Nets.
IEEE Trans. Software Eng. 13(6): 643-653 (1987) |
| 1985 |
| 1 |  | V. K. Agrawal,
Lalit M. Patnaik,
Prem Shankar Goel:
Towards formal specification of a distributed computing system.
International Journal of Parallel Programming 14(5): 277-306 (1985) |