Equational Axioms for Probabilistic Bisimulation

Luca Aceto, Zoltan Esik, Anna Ingolfsdottir

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Kirchner, H. (ed.) : Ringeissen, C. (ed.) : Lecture Notes in Computer Science
Publisher	IEEE Computer Society Press
Publication date	2002
Edition	2422
Pages	239-253
ISBN (Print)	3540441441
Publication status	Published - 2002
Event	Equational Axioms for Probabilistic Bisimulation - Duration: 19 May 2010 → …

Conference	Equational Axioms for Probabilistic Bisimulation
Period	19/05/2010 → …

Access to Document

@inproceedings{fc835bf08ac111dbbb3d000ea68e967b,

title = "Equational Axioms for Probabilistic Bisimulation",

author = "Luca Aceto and Zoltan Esik and Anna Ingolfsdottir",

note = "ISSN ; 0302-9743; Equational Axioms for Probabilistic Bisimulation ; Conference date: 19-05-2010",

year = "2002",

language = "English",

isbn = "3540441441",

pages = "239--253",

booktitle = "Kirchner, H. (ed.) : Ringeissen, C. (ed.)",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "2422",

}

TY - GEN

T1 - Equational Axioms for Probabilistic Bisimulation

AU - Aceto, Luca

AU - Esik, Zoltan

AU - Ingolfsdottir, Anna

N1 - ISSN ; 0302-9743

PY - 2002

Y1 - 2002

M3 - Article in proceeding

SN - 3540441441

SP - 239

EP - 253

BT - Kirchner, H. (ed.) : Ringeissen, C. (ed.)

PB - IEEE Computer Society Press

T2 - Equational Axioms for Probabilistic Bisimulation

Y2 - 19 May 2010

ER -