Specification Driven Distributed Simulation Using PrT-Nets

Anurag Srivastava, Deepak K. Lakhanpal, Vishal Jain, P. C. P. Bhatt. Specification Driven Distributed Simulation Using PrT-Nets. In Felix Breitenecker, Irmgard Husinsky, editors, EUROSIM 96, Simulation Congress, Proceedings of the 1995 EUROSIM Conference, Vienna, Austria, 11-15 September 1995. pages 351-356, Elsevier, 1995.

Abstract

Abstract is missing.