A Generalisation of Stationary Distributions and Probabilistic Program Algebra

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

Original language	English
Title of host publication	Electronic Notes in Theoretical Computer Science, Vol 45
Editors	Stephen Brooks, Michael Mislove
Place of Publication	Amsterdam, The Netherlands
Publisher	Elsevier
Pages	1-11
Number of pages	11
Publication status	Published - 2001
Event	Seventeenth Conference on the Mathematical Foundations of Programming Semantics - Aarhus, Denmark Duration: 23 May 2001 → 26 May 2001

Conference	Seventeenth Conference on the Mathematical Foundations of Programming Semantics
City	Aarhus, Denmark
Period	23/05/01 → 26/05/01

Cite this

@inproceedings{6de1cfde2a714264babed32b22b0f9d6,

title = "A Generalisation of Stationary Distributions and Probabilistic Program Algebra",

author = "AK McIver",

year = "2001",

language = "English",

pages = "1--11",

editor = "Stephen Brooks and Michael Mislove",

booktitle = "Electronic Notes in Theoretical Computer Science, Vol 45",

publisher = "Elsevier",

address = "Netherlands",

}