In discussions regarding models of cognition, the very mention of “computationalism” often incites reactions against the insufficiency of the Turing machine model, its abstractness, determinism, the lack of naturalist foundations, triviality and the absence of clarity. None of those objections, however, concerns models based on natural computation or computing nature, where the model of computa...

Choosing spouse and entering into marriage is a turning point in the growth and character development. Certainly, the choice of partner is one of the most important decisions in life. The aim of this study was to determine the predictive value of marital adjustment through study of variables of attachment and determinism as predictors of marital adjustment. The study used a correlation method a...

We see reversible computing as a generalisation of sequential computation obtained by revoking the law of the excluded miracle. Our execution language includes naked guarded commands and non-deterministic choice. Choices which lead to miraculous continuations invoke reverse computation, and non-deterministic choice plays the rôle of provisional choice within a backtracking context. We require p...

Compensating CSP (cCSP) models long-running transactions. It can be used tospecify service orchestrations written in programming languages like WS-BPEL.However, the original cCSP does not allow to model internal (non-deterministic)choice, synchronized parallel composition, hiding or recursion. In this paper, weintroduce these operators and define for the extended language a fail...