SPECIFICATION OF SCHEDULERS WITH ALGEBRAIC SPECIFICATION TECHNIQUES

被引：0

|

作者：

WADA, K

HAGIHARA, K

ARAKI, T

TOKURA, N

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1982年 / 143卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：42 / 62

页数：21

相关论文

共 50 条

[1] A general modular specification for distributed schedulers
Cavalheiro, GGH
Denneulin, Y
Roch, JL
EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 373 - 376
[2] Algebraic specification of documents
Ramalho, JC
Almeida, JJ
Henriques, P
THEORETICAL COMPUTER SCIENCE, 1998, 199 (1-2) : 231 - 247
[3] ALGEBRAIC SPECIFICATION OF CONCURRENCY
ASTESIANO, E
REGGIO, G
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 1 - 39
[4] ALGEBRAIC SPECIFICATION IS THE ANSWER
PIETSCHKER, L
DR DOBBS JOURNAL, 1988, 13 (11): : 12 - 12
[5] Algebraic specification of documents
Departamento de Informática, Universidade do Minho, Braga, Portugal
Theor Comput Sci, 1-2 (231-247):
[6] H. Ehrig: The Algebraic Specification Column Algebraic Techniques in Software Development
Bull Eur Assoc Theor Comput Sci, 58 (105):
[7] ALGEBRAIC SPECIFICATION TECHNIQUES IN OBJECT-ORIENTED PROGRAMMING ENVIRONMENTS
BREU, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 562 : R3 - +
[8] TECHNIQUES FOR PARTIAL SPECIFICATION AND SPECIFICATION OF SWITCHING SYSTEMS
ZAVE, P
JACKSON, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 511 - 525
[9] SPECIFICATION OF SCHEDULERS USING THE MODAL-MU CALCULUS
KRISHNAN, P
AUSTRALIAN COMPUTER JOURNAL, 1994, 26 (02): : 42 - 49
[10] Thirty years of algebraic specification
Orejas, F
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 67 (1-2): : 1 - 2

← 1 2 3 4 5 →