|
7
|
Formal Modeling in a Commercial Setting: A Case Study
– Andre Wong, Marsh Chechik
- 1999
|
|
60
|
The development of Erlang
– Ericsson Telecom Ab
- 1997
|
|
1
|
High-level Distribution for the Rapid Production of Robust Telecoms Software: Comparing C++ and ERLANG. Concurrency and Computation: Practice and Experience
– J. H. Nyström, P. W. Trinder, D. J. King
|
|
|
A Comparative Evaluation of Imperative and Functional Implementations of the IMAP Protocol
– Francesco Cesarini, Corrado Santoro
|
|
|
Examiner: Per Lindström
– Malin Pihl
- 2006
|
|
9
|
Integrating Typed and Untyped Code in a Scripting Language
– Tobias Wrigstad, Nardelli Sylvain, Lebresne Johan, Östlund Jan Vitek
|
|
|
Towards Automatic Verification of Erlang Programs by
– Calculus Translation Chanchal
|
|
1
|
A more accurate semantics for distributed Erlang
– Hans Svensson
- 2007
|
|
1
|
Extracting the processes structure of ERLANG applications
– Jan Nyström, Bengt Jonsson
|
|
6
|
A semantics for distributed erlang
– Koen Claessen
- 2005
|
|
9
|
Semi-formal development of a fault-tolerant leader election protocol in Erlang
– Thomas Arts, Koen Claessen, Hans Svensson
- 2005
|
|
1
|
Testing Implementations of Formally Verified Algorithms
– Thomas Arts , Koen Claessen, et al.
- 2005
|
|
|
State Exploration of Scala Actor Programs by
– Mirco Dotta, Mirco Dotta
|
|
3
|
Model checking erlang programs: the functional approach
– Lars-Ake Fredlund, Clara Benac Earle
- 2006
|
|
6
|
McErlang: A Model Checker for a Distributed Functional Programming Language
– Lars-Ake Fredlund, Hans Svensson
- 2007
|
|
5
|
A Framework for State-Space Exploration of Java-based Actor Programs
– Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul Agha
|
|
2
|
Evaluating Ordering Heuristics for Dynamic Partial-order Reduction Techniques
– Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
|
