Calculi for interaction

• 1 November 1996
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 33  (8) , 707-737
• https://doi.org/10.1007/s002360050067

Abstract

Keywords

• ACTION STRUCTURE
• GRAPHICAL FORM
• INTERACTIVE BEHAVIOUR
• CONCRETE ACTION
• AXIOM SCHEMA