Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jarl Tuxen Lang"'
Publikováno v:
CONCUR'93 ISBN: 9783540572084
CONCUR
CONCUR
In top-down design of reactive systems, implicit specifications of the form C(P1, ..., Pn) sat F are often encountered, where C(P1, ..., Pn) is a system containing the (unknown) processes P1, ..., Pn, and F is a specification. We present a method for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43efdb7e3e80875f4ade8827cf58a7ac
https://doi.org/10.1007/3-540-57208-2_18
https://doi.org/10.1007/3-540-57208-2_18
