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)
Stimulation of human peripheral blood lymphocytes via T cell receptor/CD3 complex resulted in a bimodal activation of protein kinase(s) C (PKC). Within 10 min of stimulation PKC-alpha was translocated to, and thus activated in, the plasma membranes of human lymphocytes, followed by a fast dissociation of this isotype from the plasma membrane. This short(More)
Tetanus and botulinum A neurotoxins were introduced into the cytosol of chromaffin cells by means of an electric field in which the plasma membrane is forced to form pores of approximately 1 micron at the sites facing the electrodes. As demonstrated by electron microscopy, both [125I] and gold-labelled tetanus toxin (TeTx) diffuse through these transient(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)
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)
Although tetanus and botulinum A neurotoxins are ineffective in cultured chromaffin cells, they will inhibit carbachol-induced release of noradrenaline provided they gain access to the cytosol either through artificial pores generated in the plasma membrane or by binding to incorporated exogenous gangliosides. The block of exocytosis persists for weeks(More)
When tetanus toxin from Clostridium tetani or IgA protease from Neisseria gonorrhoeae is translocated artificially into the cytosol of chromaffin cells, both enzymes inhibit calcium-induced exocytosis, which can be measured by changes in membrane capacitance. The block of exocytosis caused by both proteases cannot be reversed by enforced stimulation with(More)