A Generalisation of Stationary Distributions and Probabilistic Program Algebra

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

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",

note = "Seventeenth Conference on the Mathematical Foundations of Programming Semantics ; Conference date: 23-05-2001 Through 26-05-2001",

}

TY - GEN

T1 - A Generalisation of Stationary Distributions and Probabilistic Program Algebra

AU - McIver, AK

PY - 2001

Y1 - 2001

M3 - Conference proceeding contribution

SP - 1

EP - 11

BT - Electronic Notes in Theoretical Computer Science, Vol 45

A2 - Brooks, Stephen

A2 - Mislove, Michael

PB - Elsevier

CY - Amsterdam, The Netherlands

T2 - Seventeenth Conference on the Mathematical Foundations of Programming Semantics

Y2 - 23 May 2001 through 26 May 2001

ER -