Towards formal specification of a distributed computing system. - V. K. Agrawal; Lalit M. Patnaik; Prem Shankar Goel (Int. J. Parallel Program., 1985)

Reflexive Incidence Matrix (RIM) Representation of Petri Nets. - Sajal K. Das 001; V. K. Agrawal; Dilip Sarkar; Lalit M. Patnaik; Prem Shankar Goel (IEEE Trans. Software Eng., 1987)

Workload redistribution for fault-tolerance in a hard real-time distributed computing system. - Shri Balaji; Lawrence Jenkins; Lalit M. Patnaik; Prem Shankar Goel (FTCS, 1989)

S-Nets: A Petri Net Based Model for Performance Evaluation of Real-Time Scheduling Algorithms. - Shri Balaji; Lalit M. Patnaik; Lawrence Jenkins; Prem Shankar Goel (J. Parallel Distributed Comput., 1992)

A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft. - J. K. Kishore; R. S. Manjunatha; V. K. Agrawal; N. K. Malik; Prem Shankar Goel (FTRTFT, 1994)