A distinctive feature of modern functional logic languages like Toy or Curry is the possibility of programming non-strict and non-deterministic functions with call-time choice semantics. For almost ten years the CRWL framework [6,7] has been the only formal setting covering all these semantic aspects. But recently [1] an alternative proposal has appeared, focusing more on operational aspects. I...

An important epistemological lesson can be learned from the impossibility to determine the one-way velocity of light and the immediate implication that simultaneity is conventional. The vicious circle – to determine whether two distant events are simultaneous we need to know the one-way velocity of light between them, but to determine the one-way velocity of light we need to know that the two e...

TRANSACTIONS of The Society for Computer Simulation International ISSN 0740-6797/99 Copyright © 1999 The Society for Computer Simulation International Volume 16, Number 1, pp. 23-31

In his Third Analogy of Experience, Kant argues that a universal system of mutual causal interaction-at-a-distance is presupposed in the very construction of experience, and thereby also can be assumed to hold of objects of experience qua appearances. This implies in turn a notion of objective simultaneity. I discuss whether Kant’s project is rendered wholly obsolete by the relativity and conve...

The Newtonian notions of 3-space and time have been replaced by Minkowski space-time, a pseudo-Rimennian 4-manifold with Lorentz signature, because of the overcoming of the absolute notion of simultaneity. Even if the chrono-geometrical structure of Minkowski's space-time is xed and non-dynamical, the establishment of a metrology (rods and clocks) is necessarily observer-dependent and requires ...

The paper describes a set of seven fundamental principles for achieving “best concurrency and simultaneity.” The concurrent approach is gaining worldwide attention at this moment. The paralleling of life-cycle activities and process restructuring are being deemed necessary by more and more industries. An automobile product development process example is used in this paper to illustrate many asp...

The conventional nature of synchronisation is discussed in inertial frames, where it is found that theories using different synchronisations are experimentally equivalent to special relativ-ity. In contrary, in accelerated systems only a theory maintaining an absolute simultaneity is consistent with the natural behaviour of clocks. The principle of equivalence is discussed, and it is found that...