Skip to main content

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