Normed BPP and BPA (original) (raw)

Normed BPP and BPA

Workshops in Computing, 1995

Abstract

Some properties of normed processes that belong both to BPP (Basic Parallel Processes) and to BPA (Basic Process Algebra) are established. Also, the intersection of normed BPP and λ(BPA) is examined. They are used to solve certain problems concerning decidability of bisimulation equivalence.

Javier Blanco hasn't uploaded this paper.

Let Javier know you want this paper to be uploaded.

Ask for this paper to be uploaded.