Modeling systems by probabilistic process algebra: an event structures approach

Research output: Book/Report › Report › Professional

Name	Memorandum TIOS
Publisher	University of Twente, Tele-Informatics and Open Systems Group
No.	93-17

Cite this

@book{bd2823d4830746b5beb5e0eafeef2f6b,

title = "Modeling systems by probabilistic process algebra: an event structures approach",

author = "Joost-Pieter Katoen and Rom Langerak and Diego Latella",

year = "1993",

language = "English",

series = "Memoranda informatica",

publisher = "University of Twente",

number = "93-29",

address = "Netherlands",

}