Testing-based abstractions for value-passing systems

• 26 June 2005
• book chapter
• Published by Springer Nature
• p. 417-432
• https://doi.org/10.1007/bfb0015023

Abstract

Keywords

• ABSTRACTIONS FOR VALUE
• SEMANTICS
• DEFINE
• VALUES
• PROCESSES
• SAFELY/OPTIMALLY APPROXIMATES
• VALUE PASSING