A Temporal Logic of Actions
|
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
|
|
|
A Temporal Logic of Actions
|
| Id. |
41827224 |
| Idioma |
inglés
|
| Titulo |
A Temporal Logic of Actions |
| Localización |
http://citeseer.ist.psu.edu/391828.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In 1977, Pnueli introduced to computer scientists a temporal logic for reasoning
about concurrent programs. His logic was simple and elegant, based
on the single temporal modality "forever", but it was not expressive enough
to completely describe programs. Since then, a plethora of more expressive
logics have been proposed, all with additional temporal modalities such as
"next", "until", and "since". Here, a temporal logic is introduced based
only on Pnueli's original modality "forever", but with predicates (assertions
about a single state) generalized to actions---assertions about pairs of states.
This logic has all the expressive power needed to describe and reason about
concurrent programs. Much of the temporal reasoning required with other
logics is replaced by nontemporal reasoning about actions.
vi
Perspective by Kevin D. Jones
It is generally accepted by the software engineering community that some
means of formally specifying software is an important tool in increasing
con...
|
| Tipo |
ps
|
| Palabras clave |
A Temporal Logic of Actions
|
| 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://research.compaq.com/SRC/personal/lamport/pubs/old-tla-src.ps.Z
[References] oai:CiteSeerPSU:309978
[References] oai:CiteSeerPSU:391195
[References] oai:CiteSeerPSU:520037
|
| 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.
|
|
|
|
