On TLA as a 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
|
|
|
On TLA as a Logic
|
| Id. |
42124602 |
| Idioma |
inglés
|
| Titulo |
On TLA as a Logic |
| Localización |
http://citeseer.ist.psu.edu/689066.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
this paper we describe TLA from a logical perspective# our
description of TLA has three aspects:
1'
As a logic, TLA has a precise syntax and semantics. We define these in
the next section. Our intent is not to develop a new TLA, but rather to
explain and to refine Lamport's definition of TLA [1'
2. Like HOL [1' ] and other logics, TLA can serve for representing reactive
systems in several styles. In particular, a specification may describe
concurrent steps as interleaved or simultaneous# communication between
components may be synchronous or asynchronous. We discuss a few styles
in section 3
|
| Tipo |
pdf
|
| Palabras clave |
On TLA as a Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www4.in.tum.de/publ/papers/merz_mod.pdf
[References] oai:CiteSeerPSU:309978
[References] oai:CiteSeerPSU:721685
[References] oai:CiteSeerPSU:315693
[References] oai:CiteSeerPSU:192364
[References] oai:CiteSeerPSU:386841
[References] oai:CiteSeerPSU:663189
[References] oai:CiteSeerPSU:69399
[References] oai:CiteSeerPSU:391966
|
| 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.
|
|
|
|
