THE CATEGORICAL FRAMEWORK OF OBJECT-ORIENTED CONCURRENT SYSTEMS

被引：0
|
作者：
YOON, DHH
机构：
[1] Department of Computer and Information Science, University of Michigan-Dearborn, Dearborn
来源：
COMPUTERS & MATHEMATICS WITH APPLICATIONS | 1993年 / 25卷 / 02期
关键词：
D O I：
10.1016/0898-1221(93)90220-P
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Category Theory is introduced as a mathematical model for an object-oriented concurrent system which is viewed as a collection of objects and processes. An object can be represented as an algebra, whereas a process as a subalgebra.
引用
收藏
页码：33 / 38
页数：6
相关论文
共 50 条
  • [41] Object-oriented concurrent programming in CST
    Dally, W.J.
    Chien, A.A.
    Conference on Hypercube Concurrent Computers and Applications, 1988,
  • [42] Distributed concurrent object-oriented software
    Broy, M
    FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 83 - 95
  • [43] CONCURRENT OBJECT-ORIENTED PROGRAMMING - INTRODUCTION
    不详
    COMMUNICATIONS OF THE ACM, 1993, 36 (09) : 35 - 36
  • [44] OBJECT-ORIENTED CONCURRENT PROGRAMMING IN CST
    DALLY, WJ
    CHIEN, AA
    SIGPLAN NOTICES, 1989, 24 (04): : 28 - 31
  • [45] OBJECT-ORIENTED CONCURRENT REFLECTIVE ARCHITECTURES
    MATSUOKA, S
    WATANABE, T
    ICHISUGI, Y
    YONEZAWA, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 612 : 211 - 226
  • [46] REFLECTION IN AN OBJECT-ORIENTED CONCURRENT LANGUAGE
    WATANABE, T
    YONEZAWA, A
    SIGPLAN NOTICES, 1988, 23 (11): : 306 - 315
  • [47] CONCURRENT OBJECT-ORIENTED LANGUAGE COOL
    MARUYAMA, K
    RAGUIDEAU, N
    SIGPLAN NOTICES, 1994, 29 (09): : 105 - 114
  • [48] FOUNDATIONS OF CONCURRENT OBJECT-ORIENTED PROGRAMMING
    AGHA, G
    ABRAMSKY, S
    HEWITT, C
    MILNER, R
    WEGNER, P
    YONEZAWA, A
    SIGPLAN NOTICES, 1990, 25 (10): : 100 - 100
  • [49] OBJECT-ORIENTED SYSTEMS
    COOK, S
    COMPUTER JOURNAL, 1989, 32 (04): : 289 - 289
  • [50] OBJECT-ORIENTED SYSTEMS
    HOPKINS, TP
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (02): : 82 - 83
12345