Slide 1Verified Systems by Composition from Verified Components Fei Xie and James C. Browne Slide 2 2 Research Goal Goal: –Construction of reliable and secure software…
[email protected] ! @miguelinlas3 Reactive applications Building concurrent and distributed apps using Akka Miguel Ángel Pastor Olivar 2. Writing software for the…
1.Thinking in a Highly Concurrent, Mostly-functional Language Code Motion Rome, April 11th 2014 Francesco Cesarini Founder & Technical Director @francescoC [email protected]…
1.Reactive Architecture 2. • Based on asynchronous message-passing • Non-blocking using PUSH mechanism • No state, locking, or synchronization 3. • Share Nothing…