A core calculus for a comparative analysis of bio-inspired calculi

被引：0
|
作者：
Versari, Cristian [1 ]
机构：
[1] Univ Bologna, Dipartimento Sci Informaz, I-40127 Bologna, Italy
来源：
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2007年 / 4421卷
关键词：
pi-calculus; priority; polyadic synchronisation; BioAmbients; Brane Calculi;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The application of process calculi theory to the modeling and the analysis of biological phenomena has recently attracted the interests of the scientific community. To this aim several specialized, bio-inspired process calculi have been proposed, but a formal comparison of their expressivity is still lacking. In this paper we present pi@, an extension of the pi-Calculus with priorities and polyadic synchronisation that turns out to be suitable to act as a core platform for the comparison of other calculi. Here we show pi@ at work by providing "reasonable" encodings of the two most popular calculi for modeling membrane interactions, namely, BioAmbients and Brane Calculi.
引用
收藏
页码：411 / 425
页数：15
相关论文
共 50 条
  • [1] π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
    Versari, Cristian
    Gorrieri, Roberto
    [J]. FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY, 2008, 5016 : 449 - 506
  • [2] A comparative study on bio-inspired algorithms for sentiment analysis
    Yadav, Ashima
    Vishwakarma, Dinesh Kumar
    [J]. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2020, 23 (04): : 2969 - 2989
  • [3] A comparative study on bio-inspired algorithms for sentiment analysis
    Ashima Yadav
    Dinesh Kumar Vishwakarma
    [J]. Cluster Computing, 2020, 23 : 2969 - 2989
  • [4] Comparative Analysis of Bio-Inspired Algorithms for Underwater Wireless Sensor Networks
    Zehra, Syeda Sundus
    Qureshi, Rehan
    Dev, Kapal
    Shahid, Saleem
    Bhatti, Naveed Anwar
    [J]. WIRELESS PERSONAL COMMUNICATIONS, 2021, 116 (02) : 1311 - 1323
  • [5] Comparative Analysis of Bio-Inspired Algorithms for Underwater Wireless Sensor Networks
    Syeda Sundus Zehra
    Rehan Qureshi
    Kapal Dev
    Saleem Shahid
    Naveed Anwar Bhatti
    [J]. Wireless Personal Communications, 2021, 116 : 1311 - 1323
  • [6] Bio-inspired
    Tegler, Jan
    [J]. AEROSPACE AMERICA, 2021, 59 (02) : 20 - 29
  • [7] Parametric optimization of bio-inspired engineered sandwich core
    Omede', Bianca
    Grande, Antonio Mattia
    [J]. MATERIALS TODAY COMMUNICATIONS, 2024, 39
  • [8] Parameterized Analysis of Bio-inspired Computing
    Neumann, Frank
    [J]. 2017 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), 2017,
  • [9] Bio-inspired analysis of symbiotic networks
    Wakamiya, Naoki
    Murata, Masayuki
    [J]. MANAGING TRAFFIC PERFORMANCE IN CONVERGED NETWORKS, 2007, 4516 : 204 - +
  • [10] Manipulation of Bio-inspired Robot with Gesture Recognition through Fractional Calculus
    Marques Junior, F. C. F.
    Saraiva, Arata A.
    Sousa, Jose Vigno M.
    Fonseca Ferreira, N. M.
    Valente, Antonio
    [J]. 15TH LATIN AMERICAN ROBOTICS SYMPOSIUM 6TH BRAZILIAN ROBOTICS SYMPOSIUM 9TH WORKSHOP ON ROBOTICS IN EDUCATION (LARS/SBR/WRE 2018), 2018, : 230 - 235
12345