A Semantics for Distributed Erlang
Paper in proceeding, 2005
verification
semantics
Erlang
distributed systems
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Hans Svensson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings of the ACM SIGPLAN 2005 Erlang Workshop
1-59593-066-3 (ISBN)
Subject Categories
Computer Science
ISBN
1-59593-066-3