Learn More
We arrange various types of probabilistic transition systems studied in the literature in an expressiveness hierarchy. The expressiveness criterion is the existence of an embedding of systems of the one class into those of the other. An embedding here is a system transformation which preserves and reflects bisimilarity. To facilitate the task, we define the(More)
We introduce PGSOS, an operator specification format for (reactive) probabilistic transition systems which bears similarity to the known GSOS format for labelled (nondeterministic) transition systems. Like the standard one, the format is well behaved in the sense that on all models bisimilarity is a congruence and the up-to-context proof principle is valid.(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)
Final coalgebras of a functor F are suited for an abstract description of infinite datatypes and dynamical systems. Functions into such a domain are specified by coinductive definitions. The format these specifications take when their justification is directly based on finality is called the coiteration schema here. In applications it often turns out to be(More)
The gene bphK of Burkholderia sp. strain LB400 has previously been shown to be located within the bph locus, which specifies the degradation of biphenyl (BP) and chlorobiphenyls, and to encode a glutathione S-transferase (GST) which accepts 1-chloro-2,4-dinitrobenzene (CDNB) as substrate. The specific physiological role of this gene is not known. It is now(More)
A protein mixture containing two major components able to catalyze a beta-recombination reaction requiring nonspecific DNA bending was obtained by fractionation of a Pseudomonas putida extract. N-terminal sequence analysis and genomic data base searches identified the major component as an analogue of HupB of Pseudomonas aeruginosa and Escherichia coli,(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 in the PVS extension of the simply-typed-calculus; these encodings consist of: Formalizations of basic structures like partial orders and complete partial orders (domains). Various domain constructions. Notions related to monotonic functions and continuous functions. Knaster-Tarski xed-point theorems(More)
Simple repeated GATA and GACA sequences were initially identified in sex-specific snake satellite DNA. The organization of these sequences in the mouse genome is described in Schäfer et al. 1986. The expression of these simple repeats was studied here in several mouse tissues using a variety of different probes: oligonucleotides and "single-stranded" as(More)