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：

暂无

中图分类号：

学科分类号：

摘要：

19

引用

收藏

页码：8 / 21

相关论文

共 50 条

[11] SPECIFICATION OF RELATIONS BETWEEN EXPERIMENT AND PRACTICE
WOLFRAM, P
DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1977, 25 (05): : 587 - 595
[12] An environment based on rewriting logic for parallel systems formal specification and prototyping
Attoui, A
JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 44 (02) : 79 - 105
[13] Term rewriting systems for modular algebraic specification languages
Nakamura, Masaki
Futatsugi, Kokichi
Computer Software, 2006, 23 (03) : 35 - 50
[14] ALGEBRAIC SPECIFICATION SCHEMES FOR DATA BASE SYSTEMS.
Ehrig, Hartmut
Kreowski, Hans-Joerg
Weber, Herbert
1978, : 427 - 440
[15] GSBL - AN ALGEBRAIC SPECIFICATION LANGUAGE BASED ON INHERITANCE
CLERICI, S
OREJAS, F
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 322 : 78 - 92
[16] REPRESENTATION OF BINARY SYSTEMS BY FAMILIES OF BINARY RELATIONS
TAMARI, D
GINZBURG, A
ISRAEL JOURNAL OF MATHEMATICS, 1969, 7 (01) : 21 - &
[17] ON THE ALGEBRAIC RELATIONS BETWEEN MAHLER FUNCTIONS
Roques, Julien
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2018, 370 (01) : 321 - 355
[18] MULTIPLE RELATIONS BETWEEN PHYSICOCHEMICAL PARAMETERS OF PHASES IN BINARY-SYSTEMS
BOKII, GB
VOLKOV, IF
DOKLADY AKADEMII NAUK SSSR, 1985, 281 (04): : 880 - 883
[19] On the algebraic structure of binary lattice-valued fuzzy relations
Pan, Xiaodong
Xu, Yang
SOFT COMPUTING, 2013, 17 (03) : 411 - 420
[20] On the algebraic structure of binary lattice-valued fuzzy relations
Xiaodong Pan
Yang Xu
Soft Computing, 2013, 17 : 411 - 420

← 1 2 3 4 5 →