TAPSOFT
1995
Springer
13 years 9 months ago
1995
Springer
Abstract. We introduce the notion of strongly concatenable process as a refinement of concatenable processes [3] which can be expressed axiomatically via a functor Q[ ] from the c...