16
Voted
MBMV
2014
10 years 1 months ago
2014
In general, synchronous systems can be represented as a set of so-called synchronous guarded actions (SGAs) that consist of a trigger condition and an atomic action. Whenever the ...