ABSTRACT GSOS for Probabilistic Transition Systems (2008)
We introduce PGSOS, an operator specification format for (reactive) probabilistic transition systems which bears similarity to the known GSOS format for labelled (nondeterministic) transition...
ABSTRACT GSOS for Probabilistic Transition Systems (2007)
We introduce PGSOS, an operator specification format for (reactive) probabilistic transition systems which bears similarity to the known GSOS format for labelled (nondeterministic) transition...
Abstract CMCS’03 Preliminary Version A hierarchy of probabilistic system types (2007)
Falk Bartels, Ana Sokolova, Erik De Vink, De Vink
We study various notions of probabilistic bisimulation from a coalgebraic point of view, accumulating in a hierarchy of probabilistic system types. In general, a natural transformation between two...
Generalised Coinduction, Falk Bartels
We introduce the λ-coiteration schema for a distributive law λ of a functor T over a functor F. Under certain conditions it can be shown to uniquely characterise functions into the carrier of a...
ABSTRACT GSOS for Probabilistic Transition Systems (2007)
We introduce PGSOS, an operator specification format for (reactive) probabilistic transition systems which bears similarity to the known GSOS format for labelled (nondeterministic) transition...
Under consideration for publication in Math. Struct. in Comp. Science Generalized Coinduction (2007)
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...
Under consideration for publication in Math. Struct. in Comp. Science (2007)
Generalised Coinduction, Falk Bartels
We introduce the -coiteration schema for a distributive law of a functor T over a functor F. Parameterised by T and it generalises the basic coiteration schema uniquely characterising functions into...
Academisch Proefschrift, De Boelelaan, On Generalised Coinduction, Falk Bartels, Falk Bartels
GSOS as a mixed format . . . . . . . . . . . . . . . . . 72 3.5.1 Concrete rule formats derived from abstract GSOS . . . . 77 3.6 Comparing the di#erent formats . . . . . . . . . . . . . . . . . . 81...
GSOS for probabilistic transition systems (extended abstract (2002)
We introduce probabilistic GSOS, an operator specication format for (reactive) probabilistic transition systems which arises as an adaptation of the known GSOS format for labelled (nondeterministic)...
GSOS for probabilistic transition systems (2002)
Transition systems are often specied by operational rules in GSOS format, the models of which are known to be well behaved in many respects. Turi and Plotkin have shown a close relation between such...
ABSTRACT GSOS for Probabilistic Transition Systems (2002)
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Generalised Coinduction (2000)
Generalised Coinduction, Falk Bartels
Final coalgebras of a functor F are suited for an abstract description of infinite datatypes and dynamical systems.