Ketil Stølen
Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness
ESOP, 1996.
@inproceedings{ESOP-1996-Stolen, author = "Ketil Stølen", booktitle = "{Proceedings of the Sixth European Symposium on Programming}", doi = "10.1007/3-540-61055-3_48", editor = "Hanne Riis Nielson", isbn = "3-540-61055-3", pages = "356--372", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness}", volume = 1058, year = 1996, }