Partial Order Based Design of Concurrent Systems

Jakob Zwiers, W.P.M. Janssen

Research output: Contribution to journal › Article › Professional

Keywords

@article{38eb4a313b5449ef952bc274ac35c879,

title = "Partial Order Based Design of Concurrent Systems",

keywords = "METIS-121670",

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

year = "1993",

language = "Undefined",

pages = "--",

journal = "Memoranda informatica",

issn = "0924-3755",

publisher = "University of Twente",

number = "51",

}