The boolean algebra of cubical areas as a tensor product in the category of semilattices with zero - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

The boolean algebra of cubical areas as a tensor product in the category of semilattices with zero

Résumé

In this paper we describe a model of concurrency enjoying an algebraic structure reflecting the parallel composition. For the sake of simplicity we restrict to linear concurrent programs i.e. the ones with neither loops nor branchings. Such programs are given a semantics using cubical areas that we call geometric. The collection of all cubical areas admits a structure of tensor product in the category of semi-lattice with zero. These results naturally extend to fully fledged concurrent programs up to some technical tricks.

Dates et versions

cea-01836515 , version 1 (12-07-2018)

Identifiants

Citer

N. Ninin, E. Haucourt. The boolean algebra of cubical areas as a tensor product in the category of semilattices with zero. Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014, Jun 2014, Berlin, Germany. pp.60-66, ⟨10.4204/EPTCS.166.7⟩. ⟨cea-01836515⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More