A Linear Logic View of Object Systems
|
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 Linear Logic View of Object Systems
|
| Id. |
46483635 |
| Idioma |
inglés
|
| Titulo |
A Linear Logic View of Object Systems |
| Autor(es) |
Berndt Farwer
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.6143
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Linear Logic [Gir87] has been shown to incorporate a fragment suitable for representing P/T-nets and giving a semantics to the computations of such nets (e.g. [Bro89], [MOM89], [EW90]). This result is generalized to coloured nets. Furthermore a new kind of Petri nets is dened: Linear Logic Petri Nets (LLPN). These nets are used as an intuitive semantics to well-known and new high level net concepts. keywords: Linear Logic, Petri nets, object systems, concurrency 1 Introduction Petri nets have been used successfully throughout the last three decades for the specication and analysis of a diverse range of problems. The theory of Petri nets has had direct impact on computing and information sciences but the scope in which applications of the theory can be found is not limited to these. In fact there are many other disciplines that are inuenced by Petri net theory in some way or another. The design and analysis of parallel and distributed algorithms has beneted a lot from the res...
|
| Tipo |
application/postscript
|
| Palabras clave |
Linear 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.informatik.uni-hamburg.de/TGI/mitarbeiter/wimis/farwer/csp98.ps.gz
[References] 10.1.1.36.7203
[References] 10.1.1.37.5683
[References] 10.1.1.36.7483
|
| Fecha de contribución |
28-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
