Comparative Concurrency Semantics and Refinement of Actions

Research output: Book/Report › Book

Name	CWI Tract
Publisher	CWI

Access to Document

@book{732f67e8a4f84286a852fe99544636a9,

title = "Comparative Concurrency Semantics and Refinement of Actions",

author = "{van Glabbeek}, R.J.",

note = "Second edition of dissertation. Introduction available at http://theory.stanford.edu/~rvg/thesis.html",

year = "1996",

language = "English",

volume = "109",

series = "CWI Tract",

publisher = "CWI",

}