Extracting the processes structure of ERLANG applications

by Jan Nyström , Bengt Jonsson
Citations:1 - 0 self

Active Bibliography

6 A semantics for distributed erlang – Koen Claessen - 2005
1 A more accurate semantics for distributed Erlang – Hans Svensson - 2007
16 Development of a verified Erlang program for resource locking – Thomas Arts, Clara Benac Earle - 2001
Functional Programming and Logic Decrease the Use of the Most Important Part of Our System – Thomas Arts - 2001
11 McErlang: A Model Checker for a Distributed Functional Programming Language – Lars-Ake Fredlund, Hans Svensson - 2007
An Operational Semantics for Parallel Execution of Re-entrant PLEX – Johan Erikson - 2005
contributed articles Erlang – unknown authors
9 A soft-typing system for Erlang – Sven-Olof Nyström - 2003
10 Semi-formal development of a fault-tolerant leader election protocol in Erlang – Thomas Arts, Koen Claessen, Hans Svensson - 2005
2 Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL – Qiang Guo, John Derrick - 2006
5 Semi-Automated Verification of Erlang Code – Lars-Åke Fredlund, Lars- Ake, Dilian Gurov, Thomas Noll - 2001
8 Evaluating distributed functional languages for telecommunications software – J. H. Nyström, P. W. Trinder - 2003
11 Using SPIN Model Checking for Flight Software Verification – Peter R. Glück, Dr. Gerard, Gerard J. Holzmann
Proving Properties of Concurrent Programs – Gerard J. Holzmann
2 Abstracting C with abC – Dennis Dams, William Hesse, Gerard Holzmann - 2002
16 Tackling large verification problems with the Swarm tool – Gerard J. Holzmann, Rajeev Joshi, Alex Groce - 2008
56 Model-driven software verification – Gerard J. Holzmann, Rajeev Joshi - 2004
Improvements of BASL and ABPS 1.1 Sets of tokens as results of operations. – Allow Sets Of, Class Stack
4 Erlang’s exception handling revisited – Richard Carlsson - 2004