Content deleted Content added
convert depreciated tt tag. Also fix missing opening/closing tt tag using AWB (10497) |
|||
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 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 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.
| |||