CONTEXTUALLY COMMUNICATING SEQUENTIAL PROCESSES - A SOFTWARE ENGINEERING ENVIRONMENT

被引：0

|

作者：

ELIZABETH, M

HULL, C

DONNAN, G

机构：

来源：

SOFTWARE-PRACTICE & EXPERIENCE | 1986年 / 16卷 / 09期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：845 / 864

页数：20

相关论文

共 50 条

[1] ON COMMUNICATING SEQUENTIAL PROCESSES
PANDEY, BD
PATHAK, SS
COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (09): : 1333 - 1348
[2] COMMUNICATING SEQUENTIAL PROCESSES
HOARE, CAR
COMMUNICATIONS OF THE ACM, 1978, 21 (08) : 666 - 677
[3] Intelligent learning environment for software engineering processes
Yatchou, R
Nkambou, R
Tangha, C
INTELLIGENT TUTORING SYSTEMS, PROCEEDINGS, 2004, 3220 : 898 - 900
[4] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
BROOKES, SD
HOARE, CAR
ROSCOE, AW
JOURNAL OF THE ACM, 1984, 31 (03) : 560 - 599
[5] AXIOMATIC SEMANTICS OF COMMUNICATING SEQUENTIAL PROCESSES
SOUNDARARAJAN, N
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (04): : 647 - 662
[6] TCSP - THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
OLDEROG, ER
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 441 - 465
[7] DESIGN AND PROOF OF COMMUNICATING SEQUENTIAL PROCESSES
GRIBOMONT, EP
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 261 - 276
[8] Communicating processes in engineering systems
Peters III, James F., 1600, IEEE, Piscataway, NJ, United States (10):
[9] AXIOMATIC SEMANTICS OF COMMUNICATING SEQUENTIAL PROCESSES
SOUNDARARAJAN, N
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (03): : 647 - 662
[10] A TIMED MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES
REED, GM
ROSCOE, AW
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 226 : 314 - 323

← 1 2 3 4 5 →