查看最新文献
订阅
分享
1381发文信息
历年影响因子
历年发表
投稿信息
International Workshop on Expressiveness in Concurrency - 最新文献
A Logic with Reverse Modalities for History-preserving Bisimulations
Pub Date : 2011-08-22 DOI: 10.4204/EPTCS.64.8 I. Phillips, I. UlidowskiSynchrony vs Causality in the Asynchronous Pi-Calculus
Pub Date : 2011-08-22 DOI: 10.4204/EPTCS.64.7 Kirstin Peters, Jens-Wolfhard Schicke, U. NestmannGraphical representation of covariant-contravariant modal formulae
Pub Date : 2011-08-22 DOI: 10.4204/EPTCS.64.1 L. Aceto, I. Fábregas, David de Frutos-Escrig, A. Ingólfsdóttir, Miguel Palomino
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
