Author:
Papapanagiotou Petros,Fleuriot Jacques
Publisher
Springer International Publishing
Reference28 articles.
1. Van der Aalst, W.M.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8(01), 21–66 (1998)
2. Abramsky, S.: Proofs as processes. Theoret. Comput. Sci. 135(1), 5–9 (1994)
3. Acay, C., Pfenning, F.: Refinements for session typed concurrency (2016)
4. Bellin, G., Scott, P.: On the $$\pi $$ -calculus and linear logic. TCS 135(1), 11–65 (1994)
5. Lecture Notes in Computer Science;L Caires,2010
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. DisCoveR: accurate and efficient discovery of declarative process models;International Journal on Software Tools for Technology Transfer;2021-06-28
2. Object-Level Reasoning with Logics Encoded in HOL Light;Electronic Proceedings in Theoretical Computer Science;2021-01-12