We present a calculus for concurrent reversible multiparty sessions, which improves on recent proposals in several respects: it allows for concurrent and sequential composition within processes and types, it gives a compact representation of the past of processes and types, which facilitates the definition of rollback, and it implements a fine-tuned strategy for backward computation. We propose...

A causal distributed breakpoint is Initiated by a seq 'ential breakpoint in one process of a distributed computation, and rlstores each process in the computation to its earliest state that reflects all events that happened before' the breakpoint. A causal distributed breakpoint is the natural extension for distributed programs of the conventional notion of a breakpoint in a sequential program....

Poly-trees are singly connected causal networks in which variables may arise from multiple causes. This paper develops a method of recovering poly-trees from empirically measured probability distributions of pairs of variables. The method guarantees that, if the measured distributions are generated by a causal process structured as a poly-tree then the topological structure of such tree can be ...

An understanding of relations between causes and effects is essential for making sense of the dynamic physical world. It has been argued that this understanding of causality depends on both perceptual and inferential components. To investigate whether causal perception and causal inference rely on common or on distinct processes, the authors tested 2 callosotomy (split-brain) patients and a gro...

A process performance management system (PPMS) helps to plan, monitor, and improve the performance of business processes. In PPMS, process-focused key performance indicators (KPIs) are used to evaluate the actual process performance and to improve business processes and, subsequently, corporate performance. The empirical study focuses on PPMS and its success factors. The study is based on a cau...

Calculating the process driven value of RFID investments is very difficult. From a company’s perspective it is important to understand the concrete contribution of an RFID system with regard to individual processes. The problem of profitability analyses in IS is that such technologies cannot be calculated as an economic standard investment. Hence, we propose a reference model as a generic knowl...

The current balanced scorecard literature suggests that a link should exist between lagging and leading measurements of non-financial performance perspectives and financial performance measures. This work designed a dynamic integrated model for examining the influence of strategic links on the Taiwanese high-tech industry, and to examine the relationships among the strategic perspectives of the...

Over the past decade, an active line of research within the field of human causal learning and inference has converged on a general representational framework: causal models integrated with bayesian probabilistic inference. We describe this new synthesis, which views causal learning and inference as a fundamentally rational process, and review a sample of the empirical findings that support the...

Process tracing is a fundamental tool of qualitative analysis. This method is often invoked by scholars who carry out within-case analysis based on qualitative data, yet frequently it is neither adequately understood nor rigorously applied. This deficit motivates this article, which offers a new framework for carrying out process tracing.The reformulation integrates discussions of process traci...

We discuss a hybrid approach for causal analysis of disturbances in industrial process operation. It represents a combination of OOBN with first level diagnostic packages and physical models serving as agents in the system design and providing evidence for automated reasoning on abnormality in process operation. The aim is causal analysis of non-measurable disturbances as a decision advice comp...