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 [...]
Tag Cloud
actor asynchronous blocking capability channel composition concurrency consistency data-flow deadlock debugging distribution equation Erlang evaluation extensibility functional grammar Humus imperative iteration Kernel lambda-calculus language message-passing object-oriented pair pattern-matching patterns PEG protocol queue recursion scalability Scheme sequence serializer starvation state-machine streams synchronization synchronous unification value vau-calculus