AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |
Back to Blog
Checker & simon v1/4/2024 ![]() Multiparty Compatibility for Concurrent Objects. Series: River Publishers series in automation, control and robotics. In: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, 16-, Science of Computer Programming, 155,Ī New Linear Logic for Deadlock-Free Session-Typed Processes. Typechecking protocols with Mungo and StMungo: a session type toolchain for Java. ACM Transactions on Computational Logic, 19(4), In: 15th International Conference on integrated Formal Methods (iFM 2019), Bergen, Norway, 02-,Īutomated equivalence checking of concurrent quantum systems. Resource Sharing via Capability-Based Multiparty Session Types. Lecture Notes in Computer Science, 12065, In: 40th IFIP WG 6.1 International Conference, FORTE 2020, Valletta, Malta, 15-,Ĭables, trains and types. In: 35th European Conference on Object Oriented Programming (ECOOP 2021), 12-, Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. In: 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022), Munich, Germany, 02-, ![]() The Different Shades of Infinite Session Types. Proceedings of the ACM on Programming Languages, Special delivery: programming with mailbox types. ![]() and Trinder, P.Īrtifact for "Special Delivery: Programming with Mailbox Types". In: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Grenoble, France, 5-, Verification of concurrent quantum protocols by equivalence checking. In: 9th International Symposium on Trustworthy Global Computing (TGC) 2014, Rome, Italy, 5-,Īrdeshir-Larijani, E., Gay, S. Logical Methods in Computer Science, 11(4),īernardi, G., Dardha, O. In: 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016), Edinburgh, UK, 5-7 Sept 2016, ![]() Typechecking Protocols with Mungo and StMungo. Series: River Publishers Series in Automation, Control and Robotics. ![]() Mungo and StMungo: tools for typechecking protocols in Java. ![]()
0 Comments
Read More
Leave a Reply. |