Action systems and action refinement in the development of parallel systems

W.P.M. Janssen, Mannes Poel, Jakob Zwiers

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

Keywords

@inproceedings{f8496944ea874ff191fd10ad1167c3e3,

title = "Action systems and action refinement in the development of parallel systems",

keywords = "METIS-119928",

author = "W.P.M. Janssen and Mannes Poel and Jakob Zwiers",

year = "1991",

month = aug,

day = "29",

language = "Undefined",

pages = "298--316",

booktitle = "CONCUR'91, Springer LNCS 527",

}