Process algebra-based formal service description method

被引：0
|
作者：
机构：
[1] Bai, Yu
[2] Zhang, Yaoxue
[3] Zhou, Yuezhi
来源：
Zhang, Y. (zhangyx@mail.tsinghua.edu.cn) | 1769年 / Tsinghua University卷 / 52期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Reasoning about continuous change: A formal method based on process description
    Li, CP
    PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON ACTIVE MEDIA TECHNOLOGY (AMT 2005), 2005, : 551 - 555
  • [22] Algebra-Based Reasoning for Loop Synthesis
    Humenberger, Andreas
    Amrollahi, Daneshvar
    Bjorner, Nikolaj
    Kovacs, Laura
    FORMAL ASPECTS OF COMPUTING, 2022, 34 (01)
  • [23] Geometric Algebra-Based Multilevel Declassification Method for Geographical Field Data
    Luo, Wen
    Li, Dongshuang
    Yu, Zhaoyuan
    Wang, Yun
    Yan, Zhengjun
    Yuan, Linwang
    ADVANCES IN COMPUTER GRAPHICS, CGI 2020, 2020, 12221 : 501 - 512
  • [24] An Interval Algebra-based Modeling and Routing Method in Bus Delay Tolerant Network
    Wang, Haiquan
    Ma, Weijian
    Shi, Hengkun
    Xia, Chunhe
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2015, 9 (04): : 1376 - 1391
  • [25] Algebra-based identification of tree patterns in XQuery
    Arion, Andrei
    Benzaken, Veronique
    Manolescu, Ioana
    Papakonstantinou, Yannis
    Vijay, Ravi
    FLEXIBLE QUERY ANSWERING SYSTEMS, PROCEEDINGS, 2006, 4027 : 13 - 25
  • [26] Formal Framework for Cost Analysis Based on Process Algebra
    Nishizaki, Shin-ya
    Kiyoto, Hiroki
    COMMUNICATIONS AND INFORMATION PROCESSING, PT 1, 2012, 288 : 110 - 117
  • [27] Research on a Formal Description Method of Network Behavior Based on Communication Sequential Process
    Bao, Tie
    Li, Bing
    Wu, Yaorui
    Yao, Zhilin
    Wei, Chuyi
    2008 3RD INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND APPLICATIONS, VOLS 1 AND 2, 2008, : 225 - 229
  • [28] Nontraditional approach to algebra-based general physics
    Meltzer, DE
    CHANGING ROLE OF PHYSICS DEPARTMENTS IN MODERN UNIVERSITIES - PROCEEDINGS OF INTERNATIONAL CONFERENCE ON UNDERGRADUATE PHYSICS EDUCATION, PTS 1 AND 2, 1997, (399): : 823 - 825
  • [29] A novel linear algebra-based method for complex interval linear systems in circuit analysis
    Nejad, Maryam Farahmand
    Farahani, Hamed
    Nuraei, Rahele
    HELIYON, 2024, 10 (04)
  • [30] Geometric Algebra-Based ESPRIT Algorithm for DOA Estimation
    Wang, Rui
    Wang, Yue
    Li, Yanping
    Cao, Wenming
    Yan, Yi
    SENSORS, 2021, 21 (17)
12345