Timeline for Bad Cycles in Interaction Nets
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 21, 2023 at 4:49 | comment | added | geeko | Also, I would like someone to explain this solution to me and why it works: "The solution is to divide the ports of each agent into partitions which are used in the following way. If a net is built up from the empty net by successively adding agents, which may or may not be connected to existing agents, then at any time the net consists of a number of connected components. Connecting two or more ports of a new agent to a single component forms a cycle in the net. The rule is that this can only be done if all the ports being connected to the same component are in the same partition." | |
Jan 21, 2023 at 4:46 | comment | added | geeko | Hi again. To understand bad cycles better, what is the difference between these cycles: "However, it is possible to distinguish between innocuous and pathological cycles"? What happens when it is say a deadlock that is different than when it is not? | |
Jan 20, 2023 at 19:05 | history | answered | D.W. | CC BY-SA 4.0 |