Login / Signup

Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras.

Xiaocong ZhouYongji LiWenjun LiHai-Yan QiaoZhongmei Shu
Published in: APLAS (2010)
Keyphrases
  • specification language
  • significant improvement
  • information systems
  • case study
  • preprocessing
  • databases
  • state space
  • dynamic environments
  • theorem prover
  • description language
  • software environment