Login / Signup

Replay and Testing fro Concurrent Programs.

Richard H. CarverKuo-Chung Tai
Published in: IEEE Softw. (1991)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • concurrent processes
  • database
  • real time
  • data model
  • wireless sensor networks
  • general purpose
  • reverse engineering
  • formal specification
  • concurrent systems