A significant challenge in developing concurrent systems is the problem of composability. We create a solution that works properly in isolation, but when composed with other solutions leads to interference. The actor model ensures that individual actors may be composed without changing their behavior. Interference is prevented by definition, keeping the system consistent. In order […]
Reference Pages
Tag Cloud
actor asynchronous blocking capability channel composition concurrency consistency data-flow deadlock debugging distribution Erlang evaluation extensibility functional grammar Humus imperative JavaScript Kernel lambda-calculus language message-passing object-oriented pair pattern-matching PEG POLA primitive protocol queue recursion scalability Scheme security sequence serializer starvation state-machine streams synchronization synchronous value vau-calculusPost Calendar
Meta