Publisher
Springer International Publishing
Reference25 articles.
1. Åman Pohjola, J.: Psi-calculi revisited: connectivity and compositionality. Technical report, EP192416, CSIRO, Canberra, Australia (2019).
https://publications.csiro.au/rpr/pub?pid=csiro:EP192416
2. Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: a framework for mobile processes with nominal data and logic. Logical Methods Comput. Sci. 7(1) (2011).
https://doi.org/10.2168/LMCS-7(1:11)2011
3. Bengtson, J., Parrow, J., Weber, T.: Psi-calculi in Isabelle. J. Autom. Reasoning 56(1), 1–47 (2016).
https://doi.org/10.1007/s10817-015-9336-2
4. Berry, G., Boudol, G.: The chemical abstract machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 81–94. ACM, New York (1990).
https://doi.org/10.1145/96709.96717
5. Borgström, J., et al.: Broadcast psi-calculi with an application to wireless protocols. Softw. Syst. Model. 14(1), 201–216 (2015).
https://doi.org/10.1007/s10270-013-0375-z
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献