Glossary of Terms
Representation of the progression of a simulation. Whereas the unit of time is arbitrary, its value always grows.
Time may only pass while all activities are suspended until a later time, not turn. An activity may actively wait for the progression of time, or implicitly delay until an event happens at a future point in time.
A well-defined occurrence at a specific point in time. Events may occur as result of activities (“when dinner is done”), as time passes (“after 20 time units”), or at predefined points in time (“at 2000 time units”),
μSim guarantees that all its primitives postpone on asynchronous operations. This ensures that activities are reliably and deterministically interwoven.
Suspension can only occur as part of asynchronous statements: waiting for the target of an
awaitstatement, fetching the next item of an
async forstatement, and entering/exiting an