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 条
  • [41] Deontic concepts in the algebraic specification of dynamic systems: The permission case
    Coscia, E
    Reggio, G
    RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 161 - 181
  • [42] Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
    Bouchoul, Faiza
    Mostefai, Mohammed
    INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2010, 7 (01) : 86 - 95
  • [43] Quantitative specification of semi-algebraic transition systems with metrics
    Fu, Jun
    Wu, Jinzhao
    Tan, Hongyan
    Zhou, Ning
    Journal of Information and Computational Science, 2015, 12 (03): : 993 - 1000
  • [44] Algebraic specification of documents
    Ramalho, JC
    Almeida, JJ
    Henriques, P
    THEORETICAL COMPUTER SCIENCE, 1998, 199 (1-2) : 231 - 247
  • [45] ALGEBRAIC SPECIFICATION OF CONCURRENCY
    ASTESIANO, E
    REGGIO, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 1 - 39
  • [46] A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
    Antonino Mazzeo
    Nicola Mazzocca
    Stefano Russo
    Valeria Vittorini
    Real-Time Systems, 1997, 13 : 219 - 236
  • [47] Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
    Nagar, Kartik
    Mukherjee, Prasita
    Jagannathan, Suresh
    COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 251 - 274
  • [48] Formal Specification and Verification of Self-Adaptive Concurrent Systems
    Fakhir, Muhammad Ilyas
    Kazmi, Syed Asad Raza
    IEEE ACCESS, 2018, 6 : 34790 - 34803
  • [49] A systematic approach to the Petri net based specification of concurrent systems
    Mazzeo, A
    Mazzocca, N
    Russo, S
    Vittorini, V
    REAL-TIME SYSTEMS, 1997, 13 (03) : 219 - 236
  • [50] Algebraic specification of documents
    Departamento de Informática, Universidade do Minho, Braga, Portugal
    Theor Comput Sci, 1-2 (231-247):
12345