Formal architectural abstractions for interactive software

Panos Markopoulos, Peter Johnson, Jon Rowson. Formal architectural abstractions for interactive software. International Journal of Man-Machine Studies, 49(5):675-715, 1998. [doi]

Abstract

Abstract is missing.