Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2579
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Horsch, Martin | de |
dc.contributor.author | Kufleitner, Manfred | de |
dc.date.accessioned | 2006-05-31 | de |
dc.date.accessioned | 2016-03-31T07:58:36Z | - |
dc.date.available | 2006-05-31 | de |
dc.date.available | 2016-03-31T07:58:36Z | - |
dc.date.issued | 2006 | de |
dc.identifier.other | 261662066 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-26483 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/2596 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-2579 | - |
dc.description.abstract | We compare the expressive power of some first-order fragments and of two simple temporal logics over Mazurkiewicz traces. Over words, most of these fragments have the same expressive power whereas over traces we show that the ability of formulating concurrency increases the expressive power. We also show that over so-called dependence structures it is impossible to formulate concurrency with the first-order fragments under consideration. Although the first-order fragments $\Delta_n[<]$ and $FO^2[<]$ over partial orders both can express concurrency of two actions, we show that in general they are incomparable over traces. For $FO^2[<]$ we give a characterization in terms of temporal logic by allowing an operator for parallelism. | en |
dc.language.iso | en | de |
dc.relation.ispartofseries | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2006,6 | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Temporale Logik , Spur <Informatik> | de |
dc.subject.ddc | 004 | de |
dc.subject.other | Mazurkiewicz Trace | en |
dc.title | The expressive power of simple logical fragments over traces | en |
dc.type | workingPaper | de |
dc.date.updated | 2013-07-09 | de |
ubs.fakultaet | Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Formale Methoden der Informatik | de |
ubs.opusid | 2648 | de |
ubs.publikation.typ | Arbeitspapier | de |
ubs.schriftenreihe.name | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
TR_2006_06.pdf | 173,94 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.