Login / Signup

Understanding concurrent programs using program transformations.

Edward J. YoungerM. P. Ward
Published in: WPC (1993)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • concurrent processes
  • web applications
  • model checking
  • concurrent systems
  • case study
  • natural language
  • fault tolerant
  • formal specification