SPECIFYING CONCURRENT OBJECTS

被引：0

作者：

KRAMER, B ^{[1
]}

机构：

[1] GERMAN RES CTR COMP SCI,D-5205 ST AUGUSTIN 1,FED REP GER

来源：

SIGPLAN NOTICES | 1989年 / 24卷 / 04期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：162 / 164

页数：3

共 50 条

[1] SPECIFYING AND INHERITING CONCURRENT OBJECTS
RYU, K
MAENG, S
MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 167 - 170
[2] SPECIFYING CONCURRENT OBJECTS AS COMMUNICATING PROCESSES
MISRA, J
SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 159 - 184
[3] SPECIFYING CONCURRENT PROGRAM MODULES
LAMPORT, L
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (02): : 190 - 222
[4] SPECIFYING CONCURRENT SYSTEMS WITH TSL
ROSENBLUM, DS
IEEE SOFTWARE, 1991, 8 (03) : 52 - 61
[5] SPECIFYING AVALON OBJECTS IN LARCH
WING, JM
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 61 - 80
[6] Conceptualization of specifying learning objects
Department of Electrical and Computer Engineering, University of New Brunswick, 15 Dineen Dr., Fredericton, NB E3B 5A3, Canada
不详
WSEAS Trans. Comput., 2006, 1 (177-185):
[7] A perspective on specifying and verifying concurrent modules
Dinsdale-Young, Thomas
Pinto, Pedro da Rocha
Gardner, Philippa
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 98 : 1 - 25
[8] Specifying Concurrent Program based on TLA
Chen Rui
Long Shigong
MECHANICAL DESIGN AND POWER ENGINEERING, PTS 1 AND 2, 2014, 490-491 : 798 - +
[9] A SIMPLE APPROACH TO SPECIFYING CONCURRENT SYSTEMS
LAMPORT, L
COMMUNICATIONS OF THE ACM, 1989, 32 (01) : 32 - 45
[10] Specifying concurrent systems with TLA+
Lamport, L
CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 183 - 247