Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
View Item 
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
View Item 
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
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.
Files in this item
Thumbnail
235JCEtFTUf7.pdf — Adobe PDF — 2.627 Mb
MD5: cf8aa7182f69275cb4ab542963bcc154
Cite
BibTeX
EndNote
RIS
InCopyright
Details
DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
Imprint Policy Contact Data Privacy Statement
A service of University Library and Computer and Media Service
© Humboldt-Universität zu Berlin
 
DOI
10.18452/9420
Permanent URL
https://doi.org/10.18452/9420
HTML
<a href="https://doi.org/10.18452/9420">https://doi.org/10.18452/9420</a>