Learn More
We arrange various classes of probabilistic systems studied in the literature in an expressiveness hierarchy. Our expressiveness criterion is the existence of a system translation, from the less expressive type into the more expressive type, that preserves and reflects probabilistic bisimilarity. We model the different system types as coalgebras of suitable(More)
We introduce the λ-coiteration schema for a distributive law λ of a functor T over a functor F. Parameterised by T and λ it generalizes the basic coiteration schema uniquely characterising functions into a final F-coalgebra. Furthermore, the same parameters are used to generalize the categorical notion of a bisimulation to that of a λ-bisimulation, still(More)
Tetanus and botulinum A neurotoxins inhibited exocytosis evoked by various secretagogues in intact and permeabilized chromaffin cells. The block of exocytosis in intact chromaffin cells due to botulinum A neurotoxin could partially be overcome by enhancing nicotine- and veratridine-induced stimulation, whereas the block due to tetanus toxin persisted under(More)
T-cell receptors (TCRs) recognize foreign antigens in the context of major histocompatibility complex (MHC)-encoded cell surface proteins. These receptors are heterogeneous, dimeric glycoproteins composed of disulphide linked alpha- and beta-chains. We analysed the diversity of TCRs in a collection of H-2Kb-restricted, 2,4,6-trinitrophenyl (TNP)-specific(More)
We describe an encoding of major parts of domain theory and xed-point theory in the Pvs extension of the simply-typed-calculus; these formaliza-tions comprise the encoding of mathematical structures like complete partial orders (domains), domain constructions, the Knaster-Tarski xed-point theorem for mono-tonic functions, and variations of xed-point(More)