A Microsoft Excel spreadsheet has been programmed to assist with classification of chemical analyses of orthorhombic and monoclinic amphiboles following the 2012 nomenclature recommended by the International Mineralogical Association. The spreadsheet is intended for use only with compositional data (wt% oxides and halogens, rather than atomic proportions) and provides options for the estimation...

In this paper an extension of SDL by real-time assertions is suggested. A denotational compositional semantics in terms of timed high level Petri nets is given. This semantics allows to reason about timed SDL-speciications by simulation of the underlying high level nets as well as by unfolding these into timed low level nets and then applying analysis methods for timed Petri nets or temporal mo...

We prove a compactness theorem in the context of Hennessy–Milner logic. It is used to derive a sufficient condition on modal characterizations for the Approximation Induction Principle to be sound modulo the corresponding process equivalence. We show that this condition is necessary when the equivalence in question is compositional with respect to the projection operators. Furthermore, we deriv...

Synchronisation is fundamental to concurrent programs. This paper investigates the security of information ow in multi-threaded programs in the presence of synchronisation. We give a small-step operational semantics for a simple shared-memory multi-threaded language with synchronisation, and present a compositional timing-sensitive bi-simulation-based conndentiality speciication. We propose a t...

A compositional weakest precondition semantics is given for a parallel language with recursion using a new metric resumption domain. By extending the classical duality of predicate vs. state transformers, the weakest precondition semantics for the parallel language is shown to be isomorphic to the standard metric state transformer semantics. Moreover , a notion of reenement for predicate transf...

We present a unified approach to describing and linking several methods for representing categorical data in a contingency table. These methods include: correspondence analysis, Hellinger distance analysis, the log-ratio alternative, which is appropriate for compositional data, and the non-symmetrical correspondence analysis. We also present two solutions working with cummulative frequencies.

The DrawNet++ project addresses the compositional construction of dependability models [3, 4]. Its main goals are to provide: a) a GUI to any graph-based formalism; b) a support to the design process of dependability models, according to concepts inspired by object orientation (OO); c) a user friendly front-end for different classes of analysis/simulation tools. Such features enforce the rapid ...

A compositional parallel program is a program constructed by composing component programs in parallel where the composed pro gram inherits properties of its components In this paper we describe a small extension of C called Compositional C or CC which is an object oriented notation that supports compositional parallel programming CC integrates di erent paradigms of parallel pro gramming data pa...