Object-oriented dataflow models make it possible to explicitly render security and state manipulations of protocols. Research paper, abstract in HTML, body in Postscript; by Hugh Glaser, Pieter H. Hartel. [Declarative Systems and Software Engineering, DSSE] (December 4, 1995)
Research paper, abstract in HTML, body in Postscript; by Benoît Lanaspre, Hugh Glaser. [Declarative Systems and Software Engineering, DSSE] (November 1, 1995)