Real time agents

• 1 January 1982
• book chapter
• Published by Springer Nature
• p. 94-106
• https://doi.org/10.1007/bfb0012760

Abstract

Keywords

• NORMAL FORM
• OPERATIONAL SEMANTIC
• FACTORISATION THEOREM
• SEQUENCE FORM
• RECURSIVE DEFINITION