Skip to content
Hallway
0:00 / 0:00

#akka#labelledtransitionsystems#actormodel

Ruslan Shevchenko at #ScalaUA - From Akka to Labelled Transition Systems

ScalaUA Conference

1.2K subscribers • 26 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.

Advanced. Deep dive for people who know the field.

357 views7 years ago1 recommendation

Computer scienceProgramming languagesScalaConcurrency and parallelismComputation and complexity

Ruslan Shevchenko explores the relationship between Akka Typed behaviors and Labelled Transition Systems to apply formal methods to actor systems.

Ruslan Shevchenko at #ScalaUA - From Akka to Labelled Transition Systems (Lightning Talk) Can we say that Akka with new typing interface now ‘math-frienly’? We will show a possible relation between Akka behavior and well-studied math objects - Labelled Transition Systems (LTS). LTS can represent complex behaviors in composable and functional form. Another part of the story - exists many techniques for operating with LTS specifications in a formal way, can we map these techniques to the Akka case ? And in general - how formal methods can be applicable in a day to day programming? Follow ScalaUA Conference on Twitter: twitter.com/@ScalaUA_Conf

Why it's here

1 person recommends this

What people say. Listed as a recommended talk from the ScalaUA conference.

u/know_not_muchin r/scala • Recommends

All Videos of ScalaUA conference are now available! All the videos of ScalaUA conference can be seen at link to this video and https://old.reddit.com/r/ScalaConferenceVideos/ Since this conference has exceptionally good topic selection, I am listing down the urls to all the talks below Thinking Functionally - John A. De Goes Big Step to Functional Programming - Alex Zvolinskiy Scheduling and retrying effects with cats - Miklós Martin Conquering Concurrency with Functional Programming - Jakub Kozłowski Scala Schemas with Shapeless - Kévin Rauscher Backpressure over the wire - when things go wrong - Zahari Dichev Things I wish I knew when I started with Akka - Markus Jura [Tou…
69View on Reddit