A Process Calculus for Expressing Finite Place/Transition Petri Nets

We introduce the process calculus Multi-CCS, which extends conservatively CCS with an operator of strong prefixing able to model atomic sequences of actions as well as multiparty synchronization. Multi-CCS is equipped with a labeled transition system semantics, which makes use of a minimal structural congruence. Multi-CCS is also equipped with an unsafe P/T Petri net semantics by means of a novel technique. This is the first rich process calculus, including CCS as a subcalculus, which receives a semantics in terms of unsafe, labeled P/T nets. The main result of the paper is that a class of Multi-CCS processes, called finite-net processes, is able to represent all finite (reduced) P/T nets.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

FX Modelling in Collateralized Markets: foreign measures, basis curves, and pricing formulae

We present a general derivation of the arbitrage-free pricing framework for multiple-currency collateralized products. We include the impact on option pricing of the policy adopted to fund in foreign currency, so that we are able to price contracts with cash flows and/or collateral accounts expressed in foreign currencies inclusive of funding costs originating from dislocations in the FX market. Then, we apply these results to price cross-currency swaps under different market situations, to understand how to implement a feasible curve bootstrap procedure. We present the main practical problems arising from the way the market is quoting liquid instruments: uncertainties about collateral currencies and renotioning features. We discuss the theoretical requirements to implement curve bootstrapping and the approximations usually taken to practically implement the procedure. We also provide numerical examples based on real market data

Adherence of Prime-Time Television Advertising Disclosures to the “Clear and Conspicuous Standard: 1990 vs. 2002

In 1990, one-fourth of all national television commercials contained disclosures, yet none of the disclosures adhered to all of the Federal Trade Commission\u27s clear and conspicuous standard (CCS). As a result of marketplace changes and a 2001 Federal Trade Commission and National Advertising Division joint workshop, the authors anticipate an increase in the number of disclosures and greater adherence to the CCS. The authors find a significant increase in disclosure incidence; however, adherence declines or remains unchanged for most individual guidelines. Finally, the authors provide public policy implications and offer suggestions to increase adherence to the CCS

Perceived Readiness for Hospital Discharge in Adult Medical-Surgical Patients

Purpose: The purpose of the study was to identify predictors and outcomes of adult medical-surgical patients\u27 perceptions of their readiness for hospital discharge. Design: A correlational, prospective, longitudinal design with path analyses was used to explore relationships among transition theory-related variables. Setting: Midwestern tertiary medical center. Sample: 147 adult medical-surgical patients. Methods: Predictor variables included patient characteristics, hospitalization factors, and nursing practices that were measured prior to hospital discharge using a study enrollment form, the Quality of Discharge Teaching Scale, and the Care Coordination Scale. Discharge readiness was measured using the Readiness for Hospital Discharge Scale administered within 4 hours prior to discharge. Outcomes were measured 3 weeks postdischarge with the Post-Discharge Coping Difficulty Scale and self-reported utilization of health services. Findings: Living alone, discharge teaching (amount of content received and nurses\u27 skill in teaching delivery), and care coordination explained 51% of readiness for discharge score variance. Patient age and discharge readiness explained 16% of variance in postdischarge coping difficulty. Greater readiness for discharge was predictive of fewer readmissions. Conclusions: Quality of the delivery of discharge teaching was the strongest predictor of discharge readiness. Study results provided support for Meleis\u27 transitions theory as a useful model for conceptualizing and investigating the discharge transition. Implications for Practice: The study results have implications for the CNS role in patient and staff education, system building for the postdischarge transition, and measurement of clinical care outcomes