ON THE PARAMETERIZED ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS

被引：0
|
作者：
ASTESIANO, E
MASCARI, GF
REGGIO, G
WIRSING, M
机构：
[1] CNR,IST APPL CALCOLO,ROME,ITALY
[2] UNIV PASSAU,FAK MATH & INFORMAT,PASSAU,FED REP GER
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 185卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
下载
收藏
页码：342 / 358
页数：17
相关论文
共 50 条
  • [1] ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
    KAPLAN, S
    THEORETICAL COMPUTER SCIENCE, 1989, 69 (01) : 69 - 115
  • [2] Algebraic specification of reactive systems
    Broy, M
    THEORETICAL COMPUTER SCIENCE, 2000, 239 (01) : 3 - 40
  • [3] Visual specification of concurrent systems
    Safránek, D
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 369 - 372
  • [4] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [5] AN ALGEBRAIC SPECIFICATION OF THE PARTIAL ORDERS GENERATED BY CONCURRENT ADA COMPUTATIONS
    BRYAN, D
    TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 225 - 241
  • [6] Information systems as a tool for specification of concurrent systems
    Suraj, Z
    2003 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-3, PROCEEDINGS, 2003, : 4324 - 4329
  • [7] On the Algebraic Specification and Verification of Parallel Systems
    Triantafyllou, Nikolaos
    Ksystra, Katerina
    Stefaneas, Petros
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 623 - 624
  • [8] Fair Termination for Parameterized Probabilistic Concurrent Systems
    Lengal, Ondrej
    Lin, Anthony W.
    Majumdar, Rupak
    Rummer, Philipp
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 : 499 - 517
  • [9] Promptness and Bounded Fairness in Concurrent and Parameterized Systems
    Jacobs, Swen
    Sakr, Mouhammad
    Zimmermann, Martin
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 337 - 359
  • [10] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1086 - 1089
12345