Modular Temporal Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Modular Temporal Logic
|
| Id. |
46366026 |
| Idioma |
inglés
|
| Titulo |
Modular Temporal Logic |
| Autor(es) |
Augustin Baziramwabo
Pierre Mckenzie
Denis Thérien
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.106
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Th'erien and Wilke characterized the Until hierarchy of linear temporal logic in terms of aperiodic monoids. Here, a temporal operator able to count modulo q is introduced. Temporal logic augmented with such operators is found decidable as it is shown to express precisely the solvable regular languages. Natural hierarchies are shown to arise when modular and conventional operators are interleaved. Modular operators are then cast as special cases of more general "group" temporal operators which, added to temporal logic, allow capturing any regular language L in much the same way that the syntactic monoid of L is constructed from groups and aperiodic monoids in the sense of KrohnRhodes. Keywords: temporal logic, finite model theory, semigroup theory. 1 Introduction In the last two decades, various systems of temporal logic have been used to specify and verify concurrent programs. The linear temporal logic approach defines the behavior of programs as their set of possible execution sequ...
|
| Tipo |
application/postscript
|
| Palabras clave |
temporal logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.iro.umontreal.ca/~mckenzie/bamcth99.ps
[References] 10.1.1.52.4136
[References] 10.1.1.77.1512
[References] 10.1.1.44.1430
[References] 10.1.1.18.5944
[References] 10.1.1.129.267
[References] 10.1.1.87.7025
[References] 10.1.1.106.5481
[References] 10.1.1.88.2673
|
| Fecha de contribución |
24-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
