Algebra of timed frames
Bergstra, J. A.; Fokkink, W. J.; Middelburg, C. A.
- 期刊名称International Journal of Computer Mathematics
- 作者Bergstra, J. A.; Fokkink, W. J.; Middelburg, C. A.
- 卷第61卷
- 印刷ISSN0020-7160
- 电子ISSN1029-0265
- 文件大小1316.22KB
- 发表时间1996-01
- DOI10.1080/00207169608804514
- 页码227-255