Login / Signup

Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract).

Gul Agha
Published in: SEFM (2016)
Keyphrases
  • extended abstract
  • open problems
  • concurrent systems
  • semantic models
  • high level
  • co occurrence