Timed process algebra: theory and applications

J.C.M. Baeten

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

59 Downloads (Pure)

Original language	English
Title of host publication	Specification and semantics. Dagstuhl Seminar 8-12 July 1996 / Ed. H.-D. Ehrig, F. von Henke, J. Meseguer, M. Wirsing
Place of Publication	Wadern
Publisher	IBFI GmbH. Schloss Dagstuhl
Pages	1
Publication status	Published - 1996

Name	Dagstuhl-Seminars
Volume	9628

Access to Document

@inproceedings{6c7f152ef6e24cb980ef0b71a3c289ec,

title = "Timed process algebra: theory and applications",

author = "J.C.M. Baeten",

year = "1996",

language = "English",

series = "Dagstuhl-Seminars",

publisher = "IBFI GmbH. Schloss Dagstuhl",

pages = "1",

booktitle = "Specification and semantics. Dagstuhl Seminar 8-12 July 1996 / Ed. H.-D. Ehrig, F. von Henke, J. Meseguer, M. Wirsing",

}