Algebraic specification of parallel systems based on binary relations between events

被引：0

作者：

Teshima, Shigeharu ^{[1
]}

Hiraishi, Hiromi ^{[1
]}

Yajima, Shuzo ^{[1
]}

机构：

[1] Kyoto Univ, Japan

来源：

Systems and Computers in Japan | 1988年 / 19卷 / 10期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

下载

页码：8 / 21

共 50 条

[31] SPECIFICATION OF A COMMUNICATION VIRTUAL PROCESSOR FOR PARALLEL PROCESSING SYSTEMS
BARBOSA, VC
FRANCA, FMG
MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 511 - 518
[32] Parallel real-time systems: Formal specification
Choudhary, AN
Gehlot, V
Narahari, B
FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
[33] BINARY-TREE ALGEBRAIC COMPUTATION AND PARALLEL ALGORITHMS FOR SIMPLE GRAPHS
XIN, H
YESHA, Y
JOURNAL OF ALGORITHMS, 1988, 9 (01) : 92 - 113
[34] AN ALGEBRAIC SPECIFICATION OF FAULT-TOLERANT - BASED ON ELEMENTS OF AN ARTIFICIAL-INTELLIGENCE - DISTRIBUTED COMPUTING SYSTEMS
JUST, JR
EBERBACH, E
COMPUTING AND INFORMATION, 1989, : 397 - 402
[35] A process algebraic framework for specification and validation of real-time systems
Sherif, Adnan
Cavalcanti, Ana
He Jifeng
Sampaio, Augusto
FORMAL ASPECTS OF COMPUTING, 2010, 22 (02) : 153 - 191
[36] ALGEBRAIC RELATIONS BETWEEN SYSTEM RESPONSE AND SYSTEM PARAMETERS FOR LINEAR TIME-INVARIANT SYSTEMS
BOHN, EV
SARKAR, B
ELECTRONICS LETTERS, 1968, 4 (08) : 159 - &
[37] SOME RELATIONS BETWEEN EVENTS AND ATTITUDES
Davies, James C.
AMERICAN POLITICAL SCIENCE REVIEW, 1952, 46 (03) : 777 - 789
[38] A Score for Probability Forecasts of Binary Events Based on the User's Cost-Loss Relations
Ivarsson, Karl-Ivar
WEATHER AND FORECASTING, 2020, 35 (01) : 113 - 127
[39] Parallel treatment of a class of differential-algebraic systems
Bahi, J
Griepentrog, E
Miellou, JC
SIAM JOURNAL ON NUMERICAL ANALYSIS, 1996, 33 (05) : 1969 - 1980
[40] ALGEBRAIC SPECIFICATION OF A 3D-MODELER BASED ON HYPERMAPS
BERTRAND, Y
DUFOURD, JF
CVGIP-GRAPHICAL MODELS AND IMAGE PROCESSING, 1994, 56 (01): : 29 - 60

← 1 2 3 4 5 →