Logo der Humboldt-Universität zu BerlinLogo der Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Banner: Fassade der Humboldt-Universität zu Berlin
Publikation anzeigen 
  • edoc-Server Startseite
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • Publikation anzeigen
  • edoc-Server Startseite
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • Publikation anzeigen
JavaScript is disabled for your browser. Some features of this site may not work without it.
Gesamter edoc-ServerBereiche & SammlungenTitelAutorSchlagwortDiese SammlungTitelAutorSchlagwort
PublizierenEinloggenRegistrierenHilfe
StatistikNutzungsstatistik
Gesamter edoc-ServerBereiche & SammlungenTitelAutorSchlagwortDiese SammlungTitelAutorSchlagwort
PublizierenEinloggenRegistrierenHilfe
StatistikNutzungsstatistik
Publikation anzeigen 
  • edoc-Server Startseite
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • Publikation anzeigen
  • edoc-Server Startseite
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • Publikation anzeigen
1985-01-01Zeitschriftenartikel DOI: 10.18452/9420
An Investigation Of Controls For Concurrent Systems Based On Abstract Control Languages
Burkhard, Hans-Dieter
Mathematisch-Naturwissenschaftliche Fakultät II
The behaviour of the controlled system determines the control. This concise statement summarizes our approach to the investigation of controls. Using abstract languages to define the behaviour and subbehaviour of a system, and therewith the behaviour of the uncontrolled and of the controlled system, we are able to describe and study different types of control rules and properties to be realized by control like deadlock avoidance, liveness and fairness.
Dateien zu dieser Publikation
Thumbnail
235JCEtFTUf7.pdf — PDF — 2.627 Mb
MD5: cf8aa7182f69275cb4ab542963bcc154
Referenzen
Is Part Of Series: Theoretical Computer Science, 38, 1985, pp 193-222
Zitieren
BibTeX
EndNote
RIS
Keine Lizenzangabe
Zur Langanzeige
ImpressumLeitlinienKontakt
Ein Service der Universitätsbibliothek und des Computer- und Medienservice
© Humboldt-Universität zu Berlin
 
DOI
10.18452/9420
Permanent URL
http://dx.doi.org/10.18452/9420
HTML
<a href="http://dx.doi.org/10.18452/9420">http://dx.doi.org/10.18452/9420</a>