Declare which abstractions require the sync system model

gabrielgiussi / cappio

1 stars 0 forks source link

Open gabrielgiussi opened 4 years ago

gabrielgiussi commented 4 years ago

This way I can assure that I can always include the condition about network bounded delay.

Also I can show the system model in the diagram.