Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

On the Verification of Open Distributed Systems

cogsci.ed.ac.uk
Visit Site

Mads Dam, Lars-Ã¥ke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps)

Category
Proceedings
Visits
80
Added
Sep 9, 2025
Rating
(116)
Rate This Site
More in Proceedings Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
A practical subtyping system for Erlang 381 visits
The migration from Erlang to OTP: A case study of a heavu duty TCP/IP client - server application written in Erlang. 337 visits
Sendmail Meets Erlang: Experiences Using Erlang for Email Applications 328 visits
Extending Erlang for Safe Mobile Code Execution 296 visits
Extending Erlang with structured module packages 200 visits
Get the best links delivered weekly — hand-picked from 1,200,810 resources