A NOTE ON PCI - DISTRIBUTED PROCESSES COMMUNICATING BY INTERRUPTS

被引：0

作者：

PETERMANN, U

SZALAS, A

机构：

[1] KARL MARX UNIV,SEKT MATEMAT,DDR-7010 LEIPZIG,GER DEM REP

[2] UNIV WARSAW,INST INFORMAT,PL-00901 WARSAW,POLAND

来源：

SIGPLAN NOTICES | 1985年 / 20卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：37 / 46

页数：10

共 50 条

[1] On temporal logic for distributed systems and its application to processes communicating by interrupts
[J]. Szalas, Andrzej, 1600, (12):
[2] A DISTRIBUTED SYNCHRONIZATION SCHEME FOR COMMUNICATING PROCESSES
NATARAJAN, N
[J]. COMPUTER JOURNAL, 1986, 29 (02): : 109 - 117
[3] THE COMPLEXITY OF REACHABILITY IN DISTRIBUTED COMMUNICATING PROCESSES
REIF, JH
SMOLKA, SA
[J]. ACTA INFORMATICA, 1988, 25 (03) : 333 - 354
[4] Transparent migration of distributed communicating processes
Nasika, R
Dasgupta, P
[J]. PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 380 - 386
[5] Communicating sequential processes for distributed constraint satisfaction
Sakellariou, I
Vlahavas, I
Futo, I
Pasztor, Z
Szeredi, J
[J]. INFORMATION SCIENCES, 2006, 176 (05) : 490 - 521
[6] DATA FLOW-ANALYSIS OF DISTRIBUTED COMMUNICATING PROCESSES
REIF, JH
SMOLKA, SA
[J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1990, 19 (01) : 1 - 30
[7] TOWARDS A THEORY OF (SELF) APPLICATIVE COMMUNICATING PROCESSES - A SHORT NOTE
GOEMAN, H
[J]. INFORMATION PROCESSING LETTERS, 1990, 34 (03) : 139 - 142
[8] DISTRIBUTED IMPLEMENTATION OF NESTED COMMUNICATING SEQUENTIAL PROCESSES - COMMUNICATION AND TERMINATION
BAIARDI, F
FANTECHI, A
TOMASI, A
VANNESCHI, M
[J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1987, 4 (06) : 531 - 545
[9] Handling CAMAC interrupts in alpha open VMS/PCI
Lee, KS
Kadantsev, SG
Klassen, E
Mouat, MM
Wilmshurst, PW
[J]. ACCELERATOR AND LARGE EXPERIMENTAL PHYSICS CONTROL SYSTEMS, 1997, : 237 - 239
[10] COMMUNICATING SEQUENTIAL PROCESSES FOR CENTRALIZED AND DISTRIBUTED OPERATING SYSTEM-DESIGN
HULL, MEC
MCKEAG, RM
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (02): : 175 - 191

← 1 2 3 4 5 →