SPECIFICATION-ORIENTED SEMANTICS FOR COMMUNICATING PROCESSES

被引：146
|
作者：
OLDEROG, ER [1 ]
HOARE, CAR [1 ]
机构：
[1] OXFORD UNIV,COMP LAB,PROGRAMMING RES GRP,OXFORD OX1 3QD,ENGLAND
来源：
ACTA INFORMATICA | 1986年 / 23卷 / 01期
关键词：
D O I：
10.1007/BF00268075
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：9 / 66
页数：58
相关论文
共 50 条
  • [1] SPECIFICATION-ORIENTED SEMANTICS FOR COMMUNICATING PROCESSES
    OLDEROG, ER
    HOARE, CAR
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 561 - 572
  • [2] A SPECIFICATION-ORIENTED SEMANTICS FOR THE REFINEMENT OF REAL-TIME SYSTEMS
    SCHOLEFIELD, D
    ZEDAN, H
    HE, JF
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 131 (01) : 219 - 241
  • [3] A Specification-Oriented Geospatial Coverage Ontology Study
    Yu, Jinsongdi
    Wang, Xia
    Baumann, Peter
    [J]. ONTOLOGY, CONCEPTUALIZATION AND EPISTEMOLOGY FOR INFORMATION SYSTEMS, SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2010, 62 : 63 - 74
  • [4] Specification-Oriented Automatic Design of Topologically Agnostic Antenna Structure
    Bekasiewicz, Adrian
    Dzwonkowski, Mariusz
    Dhaene, Tom
    Couckuyt, Ivo
    [J]. COMPUTATIONAL SCIENCE, ICCS 2024, PT III, 2024, 14834 : 11 - 18
  • [5] SEMANTICS OF COMMUNICATING PROCESSES
    ARNOLD, A
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1981, 15 (02): : 103 - 139
  • [6] SEMANTICS OF COMMUNICATING PROCESSES
    BROY, M
    [J]. INFORMATION AND CONTROL, 1984, 61 (03): : 202 - 246
  • [7] Operational semantics oriented specification
    Bachmann, P
    [J]. KUWAIT JOURNAL OF SCIENCE & ENGINEERING, 1997, 24 (01): : 1 - 20
  • [8] Semantics for the Specification of Asynchronous Communicating Systems (SACS)
    Rajan, A. V. S.
    Bavan, S.
    Abeysinghe, G.
    [J]. Advances in Computer and Informatiom Sciences and Engineering, 2008, : 33 - 38
  • [9] ON THE SPECIFICATION AND SYNTHESIS OF COMMUNICATING PROCESSES
    ERDOGMUS, MH
    JOHNSTON, R
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (12) : 1412 - 1426
  • [10] Investigations on the Use of Ensemble Methods for Specification-Oriented Indirect Test of RF Circuits
    El Badawi, H.
    Azais, Florence
    Bernard, S.
    Comte, M.
    Kerzerho, V
    Lefevre, F.
    [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2020, 36 (02): : 189 - 203
12345