How to combine Z with a process algebra

• 1 January 1998
• book chapter
• Published by Springer Nature
• p. 5-23
• https://doi.org/10.1007/bfb0056022

Abstract

Keywords

• FUNCTIONAL
• LANGUAGE
• SHORTCOMINGS
• PROCESS ALGEBRA
• LOT
• GIVE
• SUMMARISE
• CATEGORISE