Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Temporal Logic Of Processes

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

 Marcadores Sociales
Temporal Logic Of Processes
Id. 41866822
Idioma inglés
Titulo Temporal Logic Of Processes
Localización http://citeseer.ist.psu.edu/431394.html
Versión 1.0
Estado Final
Descripción . In many so called interactive applications we are interested not only in the result of a program as a function of its input, but mainly in the behavior of the program while it is running. Such interactive programs are often described by execution traces, which are chronological sequences of states of the program during its execution. In this paper a logic for describing processes -- generalizations of execution traces is presented. It is shown that expressive power of this logic is not worse than that of first order temporal logic. Moreover, due to the fact that in the definition of semantic of our logic no notion of `next step of execution' is used, we are able to speak about processes not only with discrete but also with continous time. Contents Introduction 1 1. Time and processes 2 2. Logic 3 3. An Example 7 4. Embedding of First Order Logic 9 5. Embedding of Temporal Logic 12 References 13 Introduction In standard computability theory a program is viewed as a comput...
Tipo ps
Palabras clave Temporal Logic Of Processes
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright sí
unrestricted
Formatos ps
Requerimientos técnicos Browser: Any
Relación [IsBasedOn] http://manta.univ.gda.pl/~rsomla/papers/TLP.ps.gz
[References] oai:CiteSeerPSU:717949
Fecha de contribución 31-mar-2009

Valoración de los usuarios

No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso.