A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
IFIP Advances in Information and Communication Technology
The ATF Calculus is a kernel language for wide-area network programming languages, with atomic faHure semantics as its central organizing principle.doi:10.1007/978-0-387-35520-7_4 fatcat:fc7dyx4hzfee7d4apgnaipvzai