Synchronic Rule Inversion

Reasoning about Synchronic Groups

Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY's fixed set of variables is replaced by an unbounded set of tuples which are addressed by content rather than by name; (2) UNITY's static set of statements is replaced by a dynamic set of transactions; and (3) UNITY's state II-composition is augmented by dynamic coupling of transactions into synchron...

Synchronic Analysis and Ast: Understanding

Reasoning About Synchronic Groups

Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are addressed by content rather than by name; (2) UNITY’s static set of statements is replaced by a dynamic set of transactions; and (3) UNITY’s static ‖-composition is augmented by dynamic coupling of transactions into synchron...

Money Pumps, Diachronic and Synchronic

Physical Emergence, Diachronic And Synchronic

This paper explicates two notions of emergence which are based on two ways of distinguishing levels of properties for dynamical systems. Once the levels are defined, the strategies of characterizing the relation of higher level to lower level properties as diachronic and synchronic emergence are the same. In each case, the higher level properties are said to be emergent if they are ‘novel’ or ‘...