The boolean algebra of cubical areas as a tensor product in the category of semilattices with zero - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

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

(1, 2) , (1)
1
2

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
21 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More