Abstract
This paper presents an enhanced process model in an optimistic distributed simulation to develop a method for tracking causality and safe-time and its application in the design of a local fossil identification technique. The fossil identification process is reduced to a local operation that operates without requiring a GVT estimation method. The information needed for fossil identification is captured during normal event processing from the enhanced process model. This technique assumes FIFO communication channels and simulation model with static communication topology. A proof of correctness of the fossil identification technique using this enhanced process model is presented.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
