Locally optimistic methods of concurrent simulation

D. K. Arvind. Locally optimistic methods of concurrent simulation. In Proceedings of the European Design Automation Conference 1993, EURO-DAC '93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993. pages 572-576, IEEE Computer Society, 1993. [doi]

Abstract

Abstract is missing.