Login / Signup

Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY.

Pierre ColletteEdgar Knapp
Published in: AMAST (1995)
Keyphrases
  • logical foundations
  • concurrent programs
  • case study
  • knowledge based systems
  • active databases
  • artificial intelligence
  • software engineering
  • distributed systems
  • concurrent systems