Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ole Høgh Jensen"'
Autor:
Ole Høgh Jensen, Robin Milner
A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them; it also allows bigraphs to reconfigure themselves. BRSs aim to provide a uniform way to model spatia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83d6bf7c2f83533578f800705574c532
Autor:
Ole Høgh Jensen, Robin Milner
A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them; it also allows bigraphs to reconfigure themselves. BRSs aim to provide a uniform way to model spatia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f461835334cdc9c51b84105d7f433d71
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