Institution morphisms

被引：99

作者：

Goguen, Joseph ^{[1
,3
,4
]}

Roşu, Grigore ^{[2
]}

机构：

[1] Department of Computer Science and Engineering, University of California at San Diego, San Diego, CA, United States

[2] Faculty of Mathematics, NASA Ames Research Center, University of Bucharest, United States

[3] Department of Computer Science and Engineering, University of California at San Diego, San Diego, CA 92093-0114, United States

[4] Department of Computer Science, University of Illinois, Urbana-Champaign, IL, United States

来源：

关键词：

D O I：

10.1007/s001650200013

中图分类号：

学科分类号：

摘要：

引用

页码：274 / 307