Abstract: Reconfigurable network protocol is a network protocol which consists of components, can exhibit different function and can adapt to different network environments with high performance by ...

Abstract: Requirement is very important part of software process. In order to truly meet the requirements of customer, it is necessary to establish an appropriate requirement management process, ...

At the Dagstuhl workshop described in the discussion of [114], I was impressed by the elegance of the process-algebraic specification presented by Rob van Glabbeek. The ability to encode control state ...

Add a description, image, and links to the process-algebra topic page so that developers can more easily learn about it.