加布里埃尔·乔巴努;埃妮娅·尼古拉·托多拉 尖峰神经P系统的语义研究。 （英语） Zbl 1522.68208号 Hinze，Thomas（编辑）等人，《膜计算》。2018年9月4-7日在德国德累斯顿举行的CMC 2018第19届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11399, 108-130 (2019). 摘要：我们提出了一种受尖峰神经P系统启发的实验并发语言的度量指称语义。在句法层面上，语言提供了用于指定神经元、突触和规则的结构，这些规则具有定义尖峰神经P系统的时间延迟。本文提出的指称语义是利用延续来设计的。我们使用度量空间，包括度量幂域来描述非确定性行为。我们的指称语义准确地描述了触发和峰值之间的时间延迟、不确定性行为和峰值神经P系统特有的同步功能。还提供了函数语言Haskell的实现；它可以进行测试和评估，可用于软件实验。关于整个系列，请参见[Zbl 1429.68007号]. 引用于4文件 MSC公司： 2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等） 68甲18 函数编程和lambda演算 68问题55 计算理论中的语义学 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}和\textit{E.N.Todoran}，莱克特。注释计算。科学。11399，108-130（2019；Zbl 1522.68208） 全文： 内政部