Testing Reactive Probabilistic Processes

We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known

Banking unbanked immigrants through remittances

High service fees for sending money abroad can be a financial strain for low and moderate-income immigrants. George Samuels explores how some mainstream financial institutions are offering competitive pricing for the service and, as a result, are banking a new set of customers.Emigrant remittances ; Banks and banking - Customer services ; Banks and banking - Massachusetts ; Community development - Massachusetts

Writing in Britain and Ireland, c. 400 to c. 800

No abstract available

Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions

Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs). A number of logical characterizations of the main behavioral relations on PLTSs have been studied. In particular, Parma and Segala [2007] and Hermanns et al. [2011] define a probabilistic Hennessy-Milner logic interpreted over probability distributions, whose corresponding logical equivalence/preorder when restricted to Dirac distributions coincide with standard bisimulation/simulation between the states of a PLTS. This result is here extended by studying the full logical equivalence/preorder between (possibly non-Dirac) distributions in terms of a notion of bisimulation/simulation defined on a LTS whose states are distributions (dLTS). We show that the well-known spectrum of behavioral relations on nonprobabilistic LTSs as well as their corresponding logical characterizations in terms of Hennessy-Milner logic scales to the probabilistic setting when considering dLTSs

Comparison of Volatile Compounds in Two Brandies Using HS-SPME Coupled with GC-O, GC-MS and Sensory Evaluation

The aim of this study was to compare the volatile compounds between Changyu XO and Hennessy XO. Sensoryevaluation was performed by a panel of tasters. Qualitative and semi-quantitative analysis was achieved byheadspace solid phase micro-extraction (HS-SPME), coupled with gas chromatography-mass spectrometry (GCMS)and gas chromatography-olfactometry (GC-O). A total of 160 volatile compounds were identified in the twobrands of brandy. Of these, 118 compounds were common to both Changyu XO and Hennessy XO; 18 compoundswere specific to Changyu XO and 24 were specific to Hennessy XO. A total of 85 aroma compounds responsiblefor brandy flavour were identified by GC-O, of which 68 were common to both brands, while seven and tenwere specific to Changyu XO and Hennessy XO, respectively. The study provided detailed information aboutthe compounds responsible for the characteristic flavour of specific brandies. According to statistical analysis,significant differences were recorded between Changyu XO and Hennessy XO. Most volatile compounds inChangyu XO occurred at lower concentrations than those in Hennessy XO. Based on sensory evaluation analysis,the floral, alcohol and rancid aroma descriptors achieved higher scores in Changyu XO and Hennessy XO, whilethe lime aroma seemed specific to Hennessy XO. Herb and almond aromas were specific to Changyu XO

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes

We consider PML, the probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal nondeterminism.We provide two different interpretations for PML by considering nondeterministic and probabilistic processes as models, and we exhibit two new bisimulation-based equivalences that are in full agreement with those interpretations. Our new equivalences include as coarsest congruences the two bisimilarities for nondeterministic and probabilistic processes proposed by Segala and Lynch. The latter equivalences are instead in agreement with two versions of Hennessy-Milner logic extended with an additional probabilistic operator interpreted over state distributions rather than over individual states. Thus, our new interpretations of PML and the corresponding new bisimilarities offer a uniform framework for reasoning on processes that are purely nondeterministic or reactive probabilistic or are mixing nondeterminism and probability in an alternating/non-alternating way

Modal Logic and the Approximation Induction Principle

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

Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy&#39;s Merge

This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion, relabelling and restriction free fragment of Milner's Calculus of Communicating Systems. Thus the addition of a single binary operation, viz. Hennessy's merge, is sufficient for the finite equational axiomatization of parallel composition modulo this non-interleaving equivalence. This result is in sharp contrast to a theorem previously obtained by the same authors to the effect that the same language is not finitely based modulo bisimulation equivalence