A process algebra based framework for promise theory

Simple item page
dc.creatorBergstra, Jan
dc.creatorBethke, Inge
dc.creatorBurgess, Mark
dc.date2007-07-05
dc.date.accessioned2026-07-07T08:14:07Z
dc.date.available2026-07-07T08:14:07Z
dc.descriptionWe 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.
dc.description9 pages, 4 figures
dc.identifierhttps://arxiv.org/abs/0707.0744
dc.identifierhttp://arxiv.org/abs/0707.0744
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/133007
dc.subjectLogic in Computer Science
dc.subjectD.2.4
dc.titleA process algebra based framework for promise theory
dc.typetext

Files

Collections

arXiv