On the Algebraic Specification and Verification of Parallel Systems

被引：0

作者：

Triantafyllou, Nikolaos ^{[1
]}

Ksystra, Katerina ^{[1
]}

Stefaneas, Petros ^{[1
]}

机构：

[1] Natl Tech Univ Athens, GR-10682 Athens, Greece

来源：

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II | 2014年 / 8803卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：623 / 624

页数：2

共 50 条

[1] ALGEBRAIC SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS
KOOMEN, CJ
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (01) : 1 - 36
[2] AN ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES AND ITS VERIFICATION
HIGASHINO, T
MORI, M
SUGIYAMA, Y
TANIGUCHI, K
KASAMI, T
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (06) : 825 - 836
[3] Specification and Verification for Unrestricted Algebraic Effects and Handling
Song, Yahui
Foo, Darius
Chin, Wei-Ngan
[J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
[4] ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
KAPLAN, S
[J]. THEORETICAL COMPUTER SCIENCE, 1989, 69 (01) : 69 - 115
[5] Algebraic specification of reactive systems
Broy, M
[J]. THEORETICAL COMPUTER SCIENCE, 2000, 239 (01) : 3 - 40
[6] ALGEBRAIC SPECIFICATION OF COMMUNICATION BETWEEN PARALLEL PROCESSES
JULLIAND, J
[J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1983, 2 (04): : 257 - 269
[7] TOP-DOWN FORMAL SPECIFICATION AND VERIFICATION OF PARALLEL CONTROL-SYSTEMS
VALETTE, R
DIAZ, M
[J]. DIGITAL PROCESSES, 1978, 4 (3-4): : 181 - 199
[8] Component-based algebraic specification and verification in CafeOBJ
Diaconescu, R
Futatsugi, K
Iida, S
[J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1644 - 1663
[9] SPECIFICATION AND VERIFICATION OF VLSI SYSTEMS
WILK, A
PNUELI, A
[J]. 1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 460 - 463
[10] ON THE PARAMETERIZED ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
ASTESIANO, E
MASCARI, GF
REGGIO, G
WIRSING, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 342 - 358

← 1 2 3 4 5 →