HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:concurrency

Papers
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)
Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane
EasyChair Preprint no. 8676
Type-Based Termination for Futures
Siva Somayyajula and Frank Pfenning
EasyChair Preprint no. 8625
Designing and Verifying Microservices Using CSP
Jeremy Martin
EasyChair Preprint no. 5390
Forward to a Promising Future
Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo
EasyChair Preprint no. 113
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer
Shuling Wang and Xu Wang
In:VERIFY-2010. 6th International Verification Workshop
Copyright © 2012-2023 easychair.org. All rights reserved.