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