@article{42866bb226df477583279714742bfb9f,
title = "Predicative specifications for functional programs describing communicating networks",
keywords = "Predicative specification, communicating system, functional programming, nondeterminism",
author = "Manfred Broy",
year = "1987",
month = may,
day = "6",
doi = "10.1016/0020-0190(87)90227-4",
language = "English",
volume = "25",
pages = "93--101",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier B.V.",
number = "2",
}