1 research outputs found

    An Algorithm for Speculative Parallel Execution of Rendezvous-Synchronized Simulation

    No full text
    parallel execution of rendezvous-synchronized simulations. Rendezvous-synchronized simulation is based on the notions of processes and gates and on the rendezvous mechanism defined in the the basic process algebra of Lotos---a standard formal specification language for temporal ordering[2]. Time is introduced via a mechanism similar to the delay behaviour annotation provided by the Topo toolset[3--5]
    corecore