ALGEBRAIC SPECIFICATION OF A COMMUNICATION SCHEDULER

被引：0
|
作者：
JOSEPH, M [1 ]
MOITRA, A [1 ]
机构：
[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 186卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：356 / 370
页数：15
相关论文
共 50 条
  • [1] ALGEBRAIC SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS
    KOOMEN, CJ
    SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (01) : 1 - 36
  • [2] ALGEBRAIC SPECIFICATION OF COMMUNICATION BETWEEN PARALLEL PROCESSES
    JULLIAND, J
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1983, 2 (04): : 257 - 269
  • [3] AsmL specification of a ptolemy II scheduler
    Cuadrado, DL
    Koch, P
    Ravn, AP
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 417 - 417
  • [4] FORMAT SPECIFICATION FOR THE SCHEDULER PROGRAM.
    Anon
    IBM technical disclosure bulletin, 1985, 28 (07): : 2913 - 2915
  • [5] SPECIFICATION OF SCHEDULERS WITH ALGEBRAIC SPECIFICATION TECHNIQUES
    WADA, K
    HAGIHARA, K
    ARAKI, T
    TOKURA, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 143 : 42 - 62
  • [6] Algebraic specification of documents
    Ramalho, JC
    Almeida, JJ
    Henriques, P
    THEORETICAL COMPUTER SCIENCE, 1998, 199 (1-2) : 231 - 247
  • [7] ALGEBRAIC SPECIFICATION OF CONCURRENCY
    ASTESIANO, E
    REGGIO, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 1 - 39
  • [8] Algebraic specification of documents
    Departamento de Informática, Universidade do Minho, Braga, Portugal
    Theor Comput Sci, 1-2 (231-247):
  • [9] ALGEBRAIC SPECIFICATION IS THE ANSWER
    PIETSCHKER, L
    DR DOBBS JOURNAL, 1988, 13 (11): : 12 - 12
  • [10] Software requirements specification of a university class scheduler
    Needell, DM
    Stuart, JA
    Thiel, TC
    Dascalu, SM
    Harris, FC
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 490 - 496
12345