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 条
  • [1] A categorical framework for the transformation of object-oriented systems: Models and data
    Schulz, Christoph
    Loewe, Michael
    Koenig, Harald
    JOURNAL OF SYMBOLIC COMPUTATION, 2011, 46 (03) : 316 - 337
  • [2] Object-oriented concurrent programming languages and systems
    Tripathi, A
    Van Oosten, J
    Miller, R
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1999, 12 (07): : 22 - +
  • [3] Visual programming of concurrent object-oriented systems
    Philippi, S
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2001, 12 (02): : 127 - 143
  • [4] Dynamic visualization of concurrent object-oriented systems
    Exton, C
    IWALT 2000: INTERNATIONAL WORKSHOP ON ADVANCED LEARNING TECHNOLOGIES: ADVANCED LEARNING TECHNOLOGY: DESIGN AND DEVELOPMENT ISSUES, 2000, : 294 - 295
  • [5] Confidentiality of Interactions in Concurrent Object-Oriented Systems
    Owe, Olaf
    Ramezanifarkhani, Toktam
    DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 2017, 10436 : 19 - 34
  • [6] ROSETTE - AN OBJECT-ORIENTED CONCURRENT SYSTEMS ARCHITECTURE
    TOMLINSON, C
    KIM, W
    SCHEEVEL, M
    SINGH, V
    WILL, B
    AGHA, G
    SIGPLAN NOTICES, 1989, 24 (04): : 91 - 93
  • [7] TRANSACTIONS FOR CONCURRENT OBJECT-ORIENTED PROGRAMMING SYSTEMS
    KAISER, GE
    SIGPLAN NOTICES, 1989, 24 (04): : 136 - 138
  • [8] Object-oriented concurrent programming languages and systems
    Tripathi, Anand
    Van, Oosten, James
    Miller, Robert
    JOOP - Journal of Object-Oriented Programming, 12 (07): : 22 - 55
  • [9] A FRAMEWORK FOR VISUALIZING OBJECT-ORIENTED SYSTEMS
    HAARSLEV, V
    MOLLER, R
    SIGPLAN NOTICES, 1990, 25 (10): : 237 - 244
  • [10] A CONCURRENT OBJECT-ORIENTED FRAMEWORK FOR SIMULATION OF NETWORK PROTOCOLS
    SAIEDIAN, H
    WILEMAN, S
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 23 (02) : 139 - 150
12345