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 条
  • [21] Synthesising CCS bisimulation using graph rewriting
    Bonchi, Filippo
    Gadducci, Fabio
    Koenig, Barbara
    INFORMATION AND COMPUTATION, 2009, 207 (01) : 14 - 40
  • [22] Describing and verifying Web service using CCS
    Bao, Li
    Zhang, Weishi
    Zhang, Xiuguo
    SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2006, : 421 - +
  • [23] FORMAL DEFINITION AND VERIFICATION OF PROTOCOLS USING CCS
    KARPOV, JG
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 21 - 30
  • [24] Concurrency specification using Event-based Specification Chart
    Ciorba, Dumitru
    Besliu, Victor
    COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2011, 19 (03) : 231 - 253
  • [25] Ellipse specification using vectors
    Kauffmann, Robert F.
    DR DOBBS JOURNAL, 2008, 33 (08): : 30 - +
  • [26] Organizational Replication using Inheritance
    Urzica, Andreea
    Meyer, John-Jules
    Testerink, Bas
    2015 20TH INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE, 2015, : 300 - 306
  • [27] Negative reasoning using inheritance
    1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):
  • [28] Using inheritance to implement concurrency
    Weizmann Inst of Science, Rehovot, Israel
    SIGCSE Bull, (180-184):
  • [29] Internet Calendaring and Scheduling Core Object Specification (iCALENDAR) compatible Collaborative Calendar-Server (CCS) Web Services
    Mustacoglu, Ahmet Fatih
    Wul, Wenjun
    Fox, Geoffrey
    2006 INTERNATIONAL SYMPOSIUM ON COLLABORATIVE TECHNOLOGIES AND SYSTEMS, PROCEEDINGS, 2006, : 12 - +
  • [30] Automated verifications of communication protocols using CCS and BDDs
    Lichtenecker, R
    Gotthardt, K
    Zalewski, J
    PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 1057 - 1066
12345