Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-2579
Langanzeige der Metadaten
DC ElementWertSprache
dc.contributor.authorHorsch, Martinde
dc.contributor.authorKufleitner, Manfredde
dc.date.accessioned2006-05-31de
dc.date.accessioned2016-03-31T07:58:36Z-
dc.date.available2006-05-31de
dc.date.available2016-03-31T07:58:36Z-
dc.date.issued2006de
dc.identifier.other261662066de
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-26483de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/2596-
dc.identifier.urihttp://dx.doi.org/10.18419/opus-2579-
dc.description.abstractWe 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.isoende
dc.relation.ispartofseriesTechnischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2006,6de
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.classificationTemporale Logik , Spur <Informatik>de
dc.subject.ddc004de
dc.subject.otherMazurkiewicz Traceen
dc.titleThe expressive power of simple logical fragments over tracesen
dc.typeworkingPaperde
dc.date.updated2013-07-09de
ubs.fakultaetFakultät Informatik, Elektrotechnik und Informationstechnikde
ubs.institutInstitut für Formale Methoden der Informatikde
ubs.opusid2648de
ubs.publikation.typArbeitspapierde
ubs.schriftenreihe.nameTechnischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnikde
Enthalten in den Sammlungen:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
TR_2006_06.pdf173,94 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.