Please log in to watch this conference skillscast.

Designing interactions across systems can be complex. Microservices, actors, threads: anything involving communication or sharing can lead to complex state machines that are then hard to test and reason about. TLA+ is a formal specification language created by Leslie Lamport (Paxos, LaTeX, Turing award) to design, model and verify systems. With it you can help uncover latent edge cases in our design, as well as prevent deadlocks and race conditions. In this short talk Ruben will share with you how you can model a real system as a PlusCal (pseudocode-like language that can be machine-translated into TLA+) algorithm, and how it compares to roughly equivalent Akka code.

YOU MAY ALSO LIKE:

• Lightbend Scala Language - Professional (in London on 9th - 10th September 2019)
• Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
• Scala eXchange London 2019 (in London on 12th - 13th December 2019)
• Scalax2gether Community Day 2019 (in London on 14th December 2019)
• Keynote by Valentin Kasas on The Last Frontier and Beyond (in London on 20th August 2019)
• London Java Community August Meetup (in London on 28th August 2019)
• Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)
• The Elements of Tagless Final Style (SkillsCast recorded in May 2019)