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 条

[21] A Binary Relation on Sets of Hypersubstitutions for Algebraic Systems
Phusanga, D.
SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2020, 44 (02) : 255 - 269
[22] Deontic concepts in the algebraic specification of dynamic systems: The permission case
Coscia, E
Reggio, G
RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 161 - 181
[23] Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
Bouchoul, Faiza
Mostefai, Mohammed
INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2010, 7 (01) : 86 - 95
[24] Simulation guiding and validation based on dependence relations between events
Catrina, O
Budkowski, S
ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL 1, 1999, : 303 - 310
[25] Quantitative specification of semi-algebraic transition systems with metrics
Fu, Jun
Wu, Jinzhao
Tan, Hongyan
Zhou, Ning
Journal of Information and Computational Science, 2015, 12 (03): : 993 - 1000
[26] Component-based algebraic specification and verification in CafeOBJ
Diaconescu, R
Futatsugi, K
Iida, S
FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1644 - 1663
[27] Exact relations between nonlinearity and algebraic immunity
Lobanov M.S.
Journal of Applied and Industrial Mathematics, 2009, 3 (03) : 367 - 376
[28] THERMODYNAMIC RELATIONS BETWEEN COMPONENT ACTIVITIES AND GAS SOLUBILITIES IN BINARY METALLIC SYSTEMS
FROHBERG, MG
ANIK, S
BERICHTE DER BUNSEN-GESELLSCHAFT-PHYSICAL CHEMISTRY CHEMICAL PHYSICS, 1985, 89 (02): : 130 - 134
[29] Binary relations in the theory of active systems
Avt Telemekh, 1 (139-146):
[30] Binary relations in the theory of active systems
Arslanov, MZ
AUTOMATION AND REMOTE CONTROL, 1998, 59 (01) : 116 - 121

← 1 2 3 4 5 →