We show that the approach of Mazurkiewicz trace theory | modelling causalities between action occurrences using a global dependency relation | can be generalised to branching time semantics (modelling both causalities and points of choice). More precisely, we show that the usual notion of bisimulation coincides with history preserving bisimulation and that usual testing coincides with "causal t...

In this paper, we show how to integrate linear types with type dependency, by extending the linear/non-linear calculus of Benton to support type dependency. Next, we give an application of this calculus by giving a proof-theoretic account of imperative programming, which requires extending the calculus with computationally irrelevant quantification, proof irrelevance, and a monad of computation...

Accurately determining dependency structure is critical to discovering a system’s causal organization. We recently showed that the transfer entropy fails in a key aspect of this—measuring information flow—due to its conflation of dyadic and polyadic relationships. We extend this observation to demonstrate that this is true of all such Shannon information measures when used to analyze multivaria...

Rigorous engineering of safety-critical CyberPhysical Systems (CPS) requires integration of heterogeneous modeling methods from different disciplines. It is often necessary to view this integration from the perspective of analyses – algorithms that read and change models. Although such analytic integration supports formal contract-based verification of model evolution, it suffers from the limit...

Product based organizations have diverse product offerings that meet various business needs. The products are in turn integrated to create integrated product suites. Rigorous product engineering is a must for creation of high quality integrated software products. Adequate measures must be taken to improve quality of the integrated product before every release of its module or sub-product. It is...

Theory and research suggest that psychologically controlling parenting can be driven by parental concerns in two different domains, that is, interpersonal closeness and achievement. Three studies addressing this hypothesis are presented. Study 1 provides evidence for the validity of the Dependency-Oriented and Achievement-Oriented Psychological Control Scale (DAPCS), a new measure assessing psy...

In this paper, the radial breathing mode (RBM) frequency of single-walled carbon nanotube (SWCNT) is studied based on the thin shell theory. For this purpose, SWCNT is considered as an elastic thin cylindrical shell. The dynamic equation of RBM is derived using the Hamilton’s principle. An analytical solution of the RBM frequency of SWCNT is obtained. The advantage of this formulation is that i...