(*<*)
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}.
›
(*<*)
end
(*>*)
¤ Dauer der Verarbeitung: 0.6 Sekunden
¤
*© Formatika GbR, Deutschland
