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

Visit website