A Process Algebraic View of Linear Logic

In this paper we present a process algebra where the combi-nators are borrowed from linear logic. The principal idea is to present a direct operational semantics for O. The approach considers two sets of actions (input and output) and a merge operation which describes the synchronisation of processes. We then present a few results satissed by the bisimulation relation induced by the labelled transition system.