(*<*) theory Views imports
ClockView
SPRViewDet
SPRViewNonDet
SPRViewNonDetIndInit
SPRViewSingle begin (*>*)
section‹Concrete views›
text‹
label{sec:kbps-theory-views}
🍋‹"Ron:1996"›, we provide two concrete synchronous views
illustrate how the theory works. For each view we give a
and a representation that satisfy the requirements of the ‹Algorithm› locale in Figure~\ref{fig:kbps-alg-alg-locale}.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
Suchen
