D

distributed-systems

Proof of correctness of sequential programs using Hoare's logic; introduction to Calculus of Communicating System (CCS) and Petri's nets, two formalisms to model concurrent and distributed system; model checking of WFFs of two temporal logics (LTL and CTL) on Kripke's models.

An open source distributed WAMP router and networking platform for microservices and IoT applications written in Erlang/OTP. Learn more at http://docs.getbondy.io.