📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

The Concurrent Calculi Formalisation Benchmark

First Author: Carbone M
Attributed to:  Morello-HAT: Morello High-Level API and Tooling funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-62697-5_9

Publication URI: http://dx.doi.org/10.1007/978-3-031-62697-5_9

Type: Book Chapter

Book Title: Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings (2024)

Page Reference: 149-158