Meadow enriched ACP process algebras

Simple item page
dc.creatorBergstra, J. A.
dc.creatorMiddelburg, C. A.
dc.date2009-01-20
dc.date2009-02-04
dc.date.accessioned2026-07-07T12:37:12Z
dc.date.available2026-07-07T12:37:12Z
dc.descriptionWe introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization of the notion of an ACP process algebra to processes in which data are involved. In meadow enriched ACP process algebras, the mathematical structure for data is a meadow.
dc.description8 pages; correction in Table 3
dc.identifierhttps://arxiv.org/abs/0901.3012
dc.identifierhttp://arxiv.org/abs/0901.3012
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/218360
dc.subjectRings and Algebras
dc.subjectLogic in Computer Science
dc.titleMeadow enriched ACP process algebras
dc.typetext

Files

Collections

arXiv