We provide a logic for distributed computing that has the explanatory and technical power of constructive logics of computation. In particular, we establish a proof technology that supports correct-by-construction programming based on the notion that concurrent processes can be extracted from proofs that specifications are achievable.

A new high-temperature XRD instrument, utilizing multilayer optics and a custom furnace, has been developed to maximize sensitivity and minimize problems associated with sample displacement. This paper will describe the technical specifications of the new instrument, and will present temperature calibration with standard reference materials and measurement of phase evolution in an industrial gl...

advances and technical standards in neurosurgery vol 38 advances and technical standards in neurosurgery advances in stereotactic and functional neurosurgery head injuries tumors of the crebellar region advances in neurosurgery towards minimally invasive neurosurgery 1st asian congreB of stereotactic functional and computeraBisted neurosurgery singapore december 1994 abstracts Petronas Technica...

Aerial digital cameras were first presented on the occasion of the ISPRS International Symposium in 2000. Since then, several papers that analyse the geometrical accuracy of digital camera have been presented. These works have underlined the fact that the geometric accuracy obtainable with the digital sensor is significantly higher than the accuracy achieved with scanned analogue cameras. Never...

Several processes have been initiated for the development of technical concepts, guidelines and common requirements of HVDC Grid Systems. For implementing extended HVDC Grid Systems on a multi-vendor basis consolidated and agreed functional requirements for equipment and solutions are needed. Providing such requirements is the role of international standardisation bodies. With the primary focus...