- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 1 of 1 (0.1 seconds)Spelling suggestions: "subject:"mazurkiewicz traces, informatics"" "subject:"mazurkiewicz traces, informatica""
| 1 |
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz tracesGastin, Paul, Kuske, Dietrich 07 January 2019 (has links)
We study the complexity of temporal logics over concurrent systems that can be described by Mazurkiewicz traces. We develop a general method to prove that the uniform satisfiability problem of local temporal logics is in PSPACE. We also demonstrate that this method applies to all known local temporal logics.
|
Page generated in 0.1032 seconds