Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleApril 2022
A Predicate Transformer for Choreographies: Computing Preconditions in Choreographic Programming
AbstractConstruction and analysis of distributed systems is difficult; choreographic programming is a deadlock-freedom-by-construction approach to simplify it. In this paper, we present a new theory of choreographic programming. It supports for the first ...
- ArticleApril 2022
Static Race Detection for Periodic Programs
AbstractWe consider the problem of statically detecting data races in periodic real-time programs that use locks, and run on a single processor platform. We propose a technique based on a small set of rules that exploits the priority, periodicity, locking,...