Login / Signup

Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract).

Roberto Segala
Published in: CONCUR (1993)
Keyphrases
  • extended abstract
  • test cases
  • implementation details
  • information technology
  • real time
  • decision making
  • general purpose
  • efficient implementation
  • embedded software