|
|
Printed by Universitetsservice US-AB 2003iii
– Joe Armstrong
- 2003
|
|
42
|
Making Reliable Distributed Systems in the Presence of Software Errors
– Joe Armstrong, To Helen
- 2003
|
|
|
Functional Programming and Logic Decrease the Use of the Most Important Part of Our System
– Thomas Arts
- 2001
|
|
|
2011 IEEE 4th International Conference on Cloud Computing Esc: Towards an Elastic Stream Computing Platform for the Cloud
– Benjamin Satzger, Waldemar Hummer, Schahram Dustdar
|
|
1
|
Implementation and performance aspects of Kahn process networks
– Željko Vrba
- 2009
|
|
15
|
Trace Analysis of Erlang Programs
– Thomas Arts, Lars-Åke Fredlund
- 2002
|
|
1
|
Extracting the processes structure of ERLANG applications
– Jan Nyström, Bengt Jonsson
|
|
|
Static Detection of Race Conditions in Erlang
– Maria Christakis, Konstantinos Sagonas
|
|
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
|
|
6
|
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: the Hume Approach
– Kevin Hammond
- 2005
|
|
|
Embarking on the road of Intrusion Detection, with Erlang
– Ioan Alfred Letia, Dan Alex, Ru Marian
|
|
|
See Erlang Web site www.erlang.org.
– Jim Larson
|
|
|
PROTO-PLASM: parallel language for adaptive
– Chandrajit Bajaj, Antonio Dicarlo, Alberto Paoluzzi
- 2008
|
|
7
|
Testing telecoms software with Quviq QuickCheck
– Thomas Arts, John Hughes, Joakim Johansson, Ulf Wiger
- 2006
|
|
4
|
H.: Finding counter examples in induction proofs
– Koen Claessen, Hans Svensson
- 2008
|
|
|
Functional Programming Olaf Chitil
– unknown authors
|
|
|
Increasing Functional Coverage by Inductive Testing: A Case Study
– Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris
|
|
|
Languages, Performance
– Rajesh K. Karmani, Amin Shali, Gul Agha
|
|
|
TTSS 2010 Models of Rate Restricted Communication for Concurrent Objects ⋆
– Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, S. Lizeth, Tapia Tarifa
|