USING CCS FOR THE SPECIFICATION OF INHERITANCE

被引：0
|
作者：
BUCHANAN, M [1 ]
DICKERSON, B [1 ]
BRITTON, C [1 ]
LOOMES, M [1 ]
机构：
[1] UNIV HERTFORDSHIRE,SCH INFORMAT SCI,HATFIELD AL10 9AB,HERTS,ENGLAND
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1993年 / 39卷 / 2-5期
关键词：
D O I：
10.1016/0165-6074(93)90064-R
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：93 / 96
页数：4
相关论文
共 50 条
  • [1] CCS specification of a Linda behavioural model debugger
    Sewry, D.A.
    Clayton, P.G.
    Wentworth, E.P.
    IEE proceedings. Software engineering, 1997, 144 (02): : 89 - 100
  • [2] A case study in formal design specification with CCS
    Wang, Q
    Cheng, MHM
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1996, : 169 - 172
  • [3] A LOGIC FOR THE SPECIFICATION AND PROOF OF REGULAR CONTROLLABLE PROCESSES OF CCS
    GRAF, S
    SIFAKIS, J
    ACTA INFORMATICA, 1986, 23 (05) : 507 - 527
  • [4] Specification and inheritance in CSP-OZ
    Olderog, ER
    Wehrheim, H
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 2852 : 361 - 379
  • [5] BINOMIAL CONSTRUCTIONS: INHERITANCE, SPECIFICATION AND SUBREGULARITIES
    Masini, Francesca
    LINGUE E LINGUAGGIO, 2006, 5 (02) : 207 - 232
  • [6] An automated approach to inheritance and polymorphic testing using a VDM plus plus specification
    Nadeem, Aamer
    Malik, Zafar I.
    Lyu, Michael R.
    10TH IEEE INTERNATIONAL MULTITOPIC CONFERENCE 2006, PROCEEDINGS, 2006, : 224 - +
  • [7] Development of a CO2 specification for a CCS hub network
    Harkin, Trent
    Filby, Ian
    Sick, Heidi
    Manderson, Dan
    Ashton, Rebecca
    13TH INTERNATIONAL CONFERENCE ON GREENHOUSE GAS CONTROL TECHNOLOGIES, GHGT-13, 2017, 114 : 6708 - 6720
  • [8] The state-based CCS semantics for concurrent Z specification
    Taguchi, K
    Araki, K
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 283 - 292
  • [9] GSBL - AN ALGEBRAIC SPECIFICATION LANGUAGE BASED ON INHERITANCE
    CLERICI, S
    OREJAS, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 322 : 78 - 92
  • [10] Forcing behavioral subtyping through specification inheritance
    Dhara, KK
    Leavens, GT
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 258 - 267
12345