ACTION SYSTEM APPROACH TO THE SPECIFICATION AND DESIGN OF DISTRIBUTED SYSTEMS

被引：0

|

作者：

KURKISUONIO, R

JARVINEN, HM

机构：

来源：

SOFTWARE DEVELOPMENT TRENDS | 1989年 / 104卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：9 / 21

页数：13

相关论文

共 50 条

[11] DESIGN, SPECIFICATION AND VALIDATION OF HIERARCHIES OF PROTOCOLS IN DISTRIBUTED SYSTEMS
DIAZ, M
COURTIAT, JP
PEDROZA, A
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 208 - 265
[12] Design, specification, and implementation of a distributed virtual community system
Gross, T
12TH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS, 2004, : 225 - 232
[13] Design, Specification and Implementation of a Distributed Home Automation System
Abdulrahman, T. A.
Isiwekpeni, O. H.
Surajudeen-Bakinde, N. T.
Otuozea, A. O.
11TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2016) / THE 13TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2016) / AFFILIATED WORKSHOPS, 2016, 94 : 473 - 478
[14] SPECIFICATION IN DISTRIBUTED SYSTEMS
VONBOCHMANN, G
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 470 - 497
[15] Formal Specification and Verification of a Data Replication Approach in Distributed Systems
Souri, Alireza
INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2016, 7 (01): : 18 - 37
[16] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
DEGANO, P
MONTANARI, U
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51
[17] Coordination specification in distributed optimal design of multilevel systems using the χ language
L.F.P. Etman
M. Kokkolaras
A.T. Hofkamp
P.Y. Papalambros
J.E. Rooda
Structural and Multidisciplinary Optimization, 2005, 29 : 198 - 212
[18] Coordination specification in distributed optimal design of multilevel systems using the χ language
Etman, LFP
Kokkolaras, M
Hofkamp, AT
Papalambros, PY
Rooda, JE
STRUCTURAL AND MULTIDISCIPLINARY OPTIMIZATION, 2005, 29 (03) : 198 - 212
[19] Specification of a distributed storage system
Nankman, MA
Nieuwenhuis, LJM
COMPUTER COMMUNICATIONS, 1996, 19 (01) : 30 - 38
[20] THE FORMAL SPECIFICATION AND DESIGN OF A DISTRIBUTED ELECTRONIC FUNDS-TRANSFER SYSTEM
STASKAUSKAS, MG
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (12) : 1515 - 1528

← 1 2 3 4 5 →