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 Access content directly
Conference Papers Year : 2014

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

Abstract

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 and versions

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

Identifiers

Cite

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⟩

Collections

CEA DRT LIST
20 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More