Login / Signup

Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications.

Norbert PreiningKazuhiro OgataKokichi Futatsugi
Published in: LOPSTR (2014)
Keyphrases
  • meta level
  • object level
  • distributed problem solving
  • domain knowledge
  • high level