Development of a verified Erlang program for resource locking

Author: Arts Thomas   Benac Earle Clara   Derrick John  

Publisher: Springer Publishing Company

ISSN: 1433-2779

Source: International Journal on Software Tools for Technology Transfer, Vol.5, Iss.2-3, 2004-03, pp. : 205-220

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next