A generalized carrier-null method for conservative parallel simulation
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Hi-index | 0.00 |