#### Filter Results:

#### Publication Year

1975

2010

#### Publication Type

#### Co-author

#### Publication Venue

#### Brain Region

#### Key Phrases

#### Organism

Learn More

- Falk Bartels
- 2004

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 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)

- FALK BARTELS
- 2003

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)

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 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)

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)

- Falk Bartels
- 2002

We introduce probabilistic GSOS, an operator specification format for (reactive) probabilistic transition systems which arises as an adaptation of 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… (More)