Web Directory

    Top: Computers: Programming: Languages: Erlang: Conferences: Proceedings:

 

On the Verification of Open Distributed Systems

  Link Details for: On the Verification of Open Distributed Systems
Link Title: On the Verification of Open Distributed Systems Open in a new window
Link URL: http://www.cogsci.ed.ac.uk/~ceilidh/SAC-Papers/Paper78/
Link Details: Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps)
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:
On the Verification of Open Distributed Systems