Towards Automatic Verification of Erlang Programs by π–Calculus Translation Chanchal Roy1 Thomas Noll2

First Page		Document Content
Date: 2006-10-05 09:24:06 Ericsson Erlang ManaGeR Software engineering System software Computing Teletraffic		Towards Automatic Verification of Erlang Programs by π–Calculus Translation Chanchal Roy1 Thomas Noll2 Add to Reading List Source URL: www.erlang.se Download Document from Source Website File Size: 690,57 KB Share Document on Facebook