Show simple item record

1985-01-01Zeitschriftenartikel DOI: 10.18452/9420
An Investigation Of Controls For Concurrent Systems Based On Abstract Control Languages
dc.contributor.authorBurkhard, Hans-Dieter
dc.date.accessioned2017-06-17T01:01:35Z
dc.date.available2017-06-17T01:01:35Z
dc.date.created2008-12-19
dc.date.issued1985-01-01
dc.date.submitted1984-06-01
dc.identifier.issn0304-3975
dc.identifier.urihttp://edoc.hu-berlin.de/18452/10072
dc.description.abstractThe 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.eng
dc.language.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subjectcontroleng
dc.subjectconcurrenteng
dc.subjectcontrol of concurrent systemseng
dc.subjectabstract languageeng
dc.subject.ddc004 Informatik
dc.titleAn Investigation Of Controls For Concurrent Systems Based On Abstract Control Languages
dc.typearticle
dc.identifier.urnurn:nbn:de:kobv:11-10094806
dc.identifier.doihttp://dx.doi.org/10.18452/9420
local.edoc.container-titleTheoretical Computer Science
local.edoc.type-nameZeitschriftenartikel
local.edoc.institutionMathematisch-Naturwissenschaftliche Fakultät II
local.edoc.container-typeperiodical
local.edoc.container-type-nameZeitschrift
local.edoc.container-volume38
local.edoc.container-year1985
local.edoc.container-firstpage193
local.edoc.container-lastpage222
dc.description.versionPeer Reviewed

Show simple item record