منابع مشابه
The Class of Causally-Concerned Objects Can Confuse
I review the classic papers of Hawking, King, and McCarthy, and Malament that demonstrate a close relationship between the topological properties of a spacetime and the causal connectivity of points within it.
متن کاملPositioning two Redundant Arms for Cooperative Manipulation of Objects
Bimanual manipulation of objects is receiving a lot of attention nowadays, but there is few literature addressing the design of the arms configuration. In this paper, we propose a way to analyze the relative positioning of two redundant arms, both equipped with spherical wrists, in order to obtain the best common workspace for grasping purposes. Considering the geometry of a robot with a spheri...
متن کاملStabilization of Causally and Non–Causally Coupled Map Lattices
Two-dimensional coupled map lattices have global stability properties that depend on the coupling between individual maps and their neighborhood. The action of the neighborhood on individual maps can be implemented in terms of “causal” coupling (to spatially distant past states) or “non-causal” coupling (to spatially distant simultaneous states). In this contribution we show that globally stabl...
متن کاملCausally Consistent Dynamic Slicing
We offer a lattice-theoretic account of dynamic slicing for π-calculus, building on prior work in the sequential setting. For any run of a concurrent program, we exhibit a Galois connection relating forward slices of the start configuration to backward slices of the end configuration. We prove that, up to lattice isomorphism, the same Galois connection arises for any causally equivalent executi...
متن کاملCausally Consistent Reversible Choreographies
Under a reversible semantics, computation steps can be undone. is paper addresses the integration of reversible semantics into process languages for communication-centric systems, equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to seamlessly integrate reversible semantics into a process model in which concurrency is governed by session types (a clas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy of the Social Sciences
سال: 2014
ISSN: 0048-3931,1552-7441
DOI: 10.1177/0048393114521364