Content deleted Content added
Line 28:
==A limitation of logic due to lack of information==
An open Actor system {{mono|S}} is one in which the addresses of outside Actors can be passed into {{mono|S}} in the middle of computations so that {{mono|S}} can communicate with these outside Actors. These outside Actors can then in turn communicate with Actors internal to {{mono|S}} using addresses supplied to them by {{mono|S}}. Due to the limitation of the inability to deduce arrival orderings, knowledge of what messages are sent from outside would not enable the response of {{mono|S}} to be deduced. When other models of concurrent systems (e.g., [[process calculus|process calculi]]) are used to implement open systems, these systems also can have behavior that depends on arrival time orderings and so cannot be implemented by logical deduction.
==Prolog-like concurrent systems were claimed to be based on mathematical logic==
| |||