Skip to content

Instantly share code, notes, and snippets.

@mgiagante
Created October 6, 2017 14:25
Show Gist options
  • Save mgiagante/794bc7c0a2e5d43d62d18c2f433a9f0a to your computer and use it in GitHub Desktop.
Save mgiagante/794bc7c0a2e5d43d62d18c2f433a9f0a to your computer and use it in GitHub Desktop.
process Employee {
while true {
serve_customer(pop(queue))
}
}
process Customer[c = 0 to N - 1] {
while timeout[c] < 10 {
p(wait_a_minute)
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment