A process algebra based framework for promise theory

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We present a process algebra based approach to formalize the interactions of computing devices such as the representation of policies and the resolution of conflicts. As an example we specify how promises may be used in coming to an agreement regarding a simple though practical transportation problem.
9 pages, 4 figures

Keywords

Logic in Computer Science, D.2.4

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/133007

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0707.0744
 http://arxiv.org/abs/0707.0744

Collections

arXiv