Analysing nets by the invariant method

• 6 March 2006
• book chapter
• Published by Springer Nature
• p. 300-336
• https://doi.org/10.1007/bfb0046843

Abstract

Keywords

• FREE ALGEBRA
• COLOUR SYSTEM
• HOME STATE
• ABSTRACT DATA TYPE
• LIVE NESS