Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics
-
Published:2015-08-26
Issue:
Volume:190
Page:
-
ISSN:2075-2180
-
Container-title:Electronic Proceedings in Theoretical Computer Science
-
language:en
-
Short-container-title:Electron. Proc. Theor. Comput. Sci.
Author:
Crafa Silvia,Gebler Daniel E.
Publisher
Open Publishing Association
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Termination in Concurrency, Revisited;International Symposium on Principles and Practice of Declarative Programming;2023-10-22