Name-passing calculi and crypto-primitives: A survey

The paper surveys the literature on high-level name-passing process calculi, and their extensions with cryptographic primitives. The survey is by no means exhaustive, for essentially two reasons. First, in trying to provide a coherent presentation of different ideas and techniques, one inevitably ends up leaving out the approaches that do not fit the intended roadmap. Secondly, the literature on the subject has been growing at very high rate over the years. As a consequence, we decided to concentrate on few papers that introduce the main ideas, in the hope that discussing them in some detail will provide sufficient insight for further reading

Set-Theoretic Types for Polymorphic Variants

Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification. This yields an awkward formalization and results in a type system whose behaviour is in some cases unintuitive and/or unduly restrictive. In this work, we present an alternative formalization of poly-morphic variants, based on set-theoretic types and subtyping, that yields a cleaner and more streamlined system. Our formalization is more expressive than the current one (it types more programs while preserving type safety), it can internalize some meta-theoretic properties, and it removes some pathological cases of the current implementation resulting in a more intuitive and, thus, predictable type system. More generally, this work shows how to add full-fledged union types to functional languages of the ML family that usually rely on the Hindley-Milner type system. As an aside, our system also improves the theory of semantic subtyping, notably by proving completeness for the type reconstruction algorithm.Comment: ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ICFP 16, 21st ACM SIGPLAN International Conference on Functional Programming, 201

Responses of the hard clam Mercenaria mercenaria (Linne) to induction of spawning by serotonin.

lam size, sex of clam, concentration of serotonin, and site of administration of serotonin were found to influence the mduction of spawning in the hard clam Mercenaria mercenaria (Linne). Overall, male clams greater than 36.4 mm thickness were ~ore likely_ to spawn in response to ser~ton~n i_njection at concentrations of 0.2 or 2.0-mM. Administration of serotonin by injection m the antenor adductor muscle resulted m sJgmficantly more spawnings than intragonadal injection or dispersal in water surrounding the incurrent siphon

Larval development of the pelecypod Lyonsia hyalina

L)1011sia hyalina (Conrad) is a small ( 1/2 to 3/4 inch) odd shaped clarn (Fig·. I) common along the Atlantic Coast from Nova Scotia to South Carolina (Abbott, 1954). It is usually found in sand in shallow water with a coating of small sand grains attached to the periostracurn. (...

Effects Of Large Predators On The Field Culture Of The Hard Clam, Mercenaria mercenaria

Individuals in the clam industry h ave used fences to keep the cownose ray, Rhirioptera bonasus, out of planted areas (Lewis 2 ; Burton3 ). Tiller et al. ( 1952) indicated losses due to skates in planted holding areas and stated that One man reported the loss of 600 bushels of small clams in two nights during 1948 .... Merriner and Smith4 stated that cownose ray predation is a serious problem on oyster and clam grounds in Chesapeake Bay. From these observations it is clear that such large predators could be a significant deterrent to the culture of clams from Delaware Bay southward along the Atlantic coast. The present study continues a program designed tv evaluate methods of protecting areas seeded with young Mercenaria mercenari

Contracts for Abstract Processes in Service Composition

Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.Comment: In Proceedings FIT 2010, arXiv:1101.426

Reconceptualizing Somatic Dysfunction in the Light of a Neuroaesthetic Enactive Paradigm

Background: Palpatory findings are considered a central element of osteopathic practice, especially when associated with a patient’s altered regulative functions than with named somatic dysfunctions. Although osteopathic theories for somatic dysfunction could be plausible, the clinical applicability of the concept is debated, especially because it is largely related to simple cause–effect models of osteopathic care. In contrast to a linear kind of diagnosis of a “tissue as a producer of symptoms”, this perspective article aims to provide a conceptual and operational framework in which the somatic dysfunction evaluation process is seen as a neuroaesthetic (en)active encounter between osteopath and patient. Subsections relevant to the subject: To summarize all concepts of the hypothesis, the enactive neuroaesthetics principles are proposed as a critical foundation for the osteopathic assessment and treatment of the person, specifically addressing a new paradigm for somatic dysfunction. Conclusions, and future directions: The present perspective article represents a proposition to blend technical rationality informed by neurocognitive and social sciences, and professional artistry clinical experience informed by traditional tenets, to overcome the controversy around somatic dysfunction, rather than dismissing the concept

Cor triatriatum sinister in a dog

This report describes the transthoracic and transesophageal echocardiographic features of cor triatriatum sinister in an asymptomatic 6-year-old male French bulldog. Although cor triatriatum sinister represents a well-known and widely described cardiac malformation in humans, its description in the canine population is rare. In this clinical case, non-invasive echocardiographic techniques were helpful in visualizing and characterizing the lesion, allowing a valuable assessment of the malformation, and its hemodynamic consequences