Publication
Detail
Publication date: 11/06/2024TRAC: A Tool for Data-Aware Coordination – (with an Application to Smart Contracts)
URL | https://link.springer.com/chapter/10.1007/978-3-031-62697-5_13 |
---|---|
Book title | Coordination Models and Languages (COORDINATION 2024) |