A Generalisation of Stationary Distributions and Probabilistic Program Algebra

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Original languageEnglish
Title of host publicationElectronic Notes in Theoretical Computer Science, Vol 45
EditorsStephen Brooks, Michael Mislove
Place of PublicationAmsterdam, The Netherlands
PublisherElsevier
Pages1-11
Number of pages11
Publication statusPublished - 2001
EventSeventeenth Conference on the Mathematical Foundations of Programming Semantics - Aarhus, Denmark
Duration: 23 May 200126 May 2001

Conference

ConferenceSeventeenth Conference on the Mathematical Foundations of Programming Semantics
CityAarhus, Denmark
Period23/05/0126/05/01

Cite this