第26届EXPRESS/16th SOS 2019:荷兰阿姆斯特丹
豪尔赫·佩雷斯 , 侏罗纪腐朽 :
《第26届并发表达性国际研讨会和第16届结构化操作语义研讨会论文集》,EXPRESS/SOS 2019,荷兰阿姆斯特丹,2019年8月26日。 EPTCS系统 300, 2019 汤姆·赫肖维茨 :
积极GSOS规范中的蜂窝单体。 1-18 柯斯汀·彼得斯 :
使用编码比较过程计算。 19-38 弗兰克·巴伦西亚 :
空间分布多代理系统的语义结构。 39-53 奥马尔·杜海比 , 简·弗里索·格鲁特 :
行为分布到并行通信子系统。 54-68 罗布·范·格拉贝克 :
论过渡制度规范的含义。 69-85 丹尼尔·戈拉 , 伊万诺·萨尔沃 , 阿道夫·皮佩诺 :
事件结构中的冲突与因果关系。 86-101 托比亚斯·普雷恩 , 迈伦·罗特 :
调解人口协议中的即时观察。 102-113