Up a level |
Balaji, S and Patnaik, LM and Jenkins, Lawrence and Goel, PS (1992) S-nets: A Petri net based model for performance evaluation of real-time scheduling algorithms. In: Journal of Parallel and Distributed Computing, 15 (3). pp. 225-237.
Agrawal, VK and Patnaik, LM and Goel, PS (1989) Specification-driven approach for protocol design of distributed computing systems. In: Journal of Microcomputer Applications, 12 (2). pp. 107-126.
Das, Sajal Kumar and Agrawal, VK and Sarkar, Dilip and Patnaik, LM and Goel, PS (1987) Reflexive Incidence Matrx (RIM) Representation of Petr Nets. In: IEEE Transactions on Software Engineering, 13 (6). 643 -653.
Agrawal, VK and Patnaik, LM and Goel, PS (1985) Towards formal specification of a distributed computing system. In: International Journal of Computer & Information Sciences, 14 (5). pp. 277-306.