Web Directory
 

Development of a Verified Erlang Program for Resource Locking

  Link Details for: Development of a Verified Erlang Program for Resource Locking
Link Title: Development of a Verified Erlang Program for Resource Locking Open in a new window
Link URL: http://www.erlang.se/euc/01/arts2001/sld001.htm
Link Details: Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
Category: Top : Computers : Programming : Languages : Erlang : Conferences : Proceedings
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Development of a Verified Erlang Program for Resource Locking