Actors have become widespread in programming languages and programming frameworks focused on parallel and distributed computing. While actors provide a more disciplined …
The adoption of information technology in foremost sectors of human activity such as banking, healthcare, education, governance etc., increases the amount of data collected and …
Cloud computing has radically changed the way organizations operate their Software by allowing them to achieve high availability of services at affordable cost. Containerized …
We present Crowbar, a deductive verification tool for the Active Object language ABS. Crowbar implements novel specification approaches specifically for distributed systems. For …
M Lohstroh, EA Lee - 2019 Forum for Specification and Design …, 2019 - ieeexplore.ieee.org
Actors have become widespread in programming languages and programming frameworks focused on parallel and distributed computing. While actors provide a more disciplined …
Loosely-coupled distributed systems organized as collections of so-called cloud-native microservices are able to adapt to traffic in very fine-grained and flexible ways. For this …
E Kamburjan - Automated Reasoning with Analytic Tableaux and …, 2019 - Springer
Abstract We present Behavioral Program Logic (BPL), a dynamic logic for trace properties that incorporates concepts from behavioral types and allows reasoning about non-functional …