Abstract
AbstractWe formalize a fragment of the theory of institutions sufficient to establish basic facts about the institution
"Image missing"
for Event-B, and its relationship with the institution
"Image missing"
for first-order predicate logic. We prove the satisfaction condition for
"Image missing"
and encode the institution comorphism
"Image missing"
embedding
"Image missing"
in
"Image missing"
.
Publisher
Springer International Publishing
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献