Concurrent functional programming for telecommunications: A case study of technology introduction (2000)

Cached

Download Links

by Bjarne Däcker
Venue:Licentiate Thesis. APPENDIX D. COLOPHON
Citations:6 - 0 self

Documents Related by Co-Citation

15 AXD 301: A new generation ATM switching system – Staffan Blau, Jan Rooth, Jorgen Axell, Fiffi Hellstrand, Magnus Buhrgard, Tommy Westin, Goran Wicklund - 1998
9 World-Class Product Certification using Erlang – Ulf Wiger, Gösta Ask, Kent Boortz, Ericsson Ab - 2002
7 Use of Prolog for developing a new programming language – J. L. Armstrong, S.R. Virding, M. C. Williams - 1992
171 Why Do Computers Stop And What Can Be Done About It? – Jim Gray - 1985
19 A Framework for Reasoning about Erlang Code – L Fredlund - 2001
6 Four-fold Increase in Productivity and Quality - Industrial-Strength Functional Programming in Telecom-Class Products – Ulf Wiger, Ericsson Telecom Ab - 2001
20 Verification of Erlang programs using abstract interpretation and model checking – F Huch - 1999
44 A Practical Subtyping System For Erlang – Simon Marlow, Philip Wadler - 1997
11 On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading – Ann Tai, Kam Tso, Leon Alkalai, Savio Chau, William Sanders - 2001
10 Long-life deep-space applications – Leon Alkalai, Ann T Tai - 1998
38 Strand: new concepts in parallel programming – Ian Foster, Stephen Taylor - 1990
25 Xml schema part 1: Structures. w3c recommendation – H S Thompson, D Beech, M Maloney, N Mendelsohn - 2001
4 A practical type system for erlang. Erlang User Conference – J L Armstrong, T Arts - 2002
6 Soap version 1.2 part 2: Adjuncts – M Gudgin, M Hadley, J-J Moreau, H F Nielsen - 2001
5 Multitasking without comprimise: a virtual machine evolution – Grzegorz Czajkowski, Laurent Daynès - 2001
10 An Approach to Safe Object Sharing – Ciarán Bryce, Chrislain Razafimahefa - 2000
2 Prototyping cordless using declarative programming – Ingemar Ahlberg, John-Olof Bauner, Anders Danne - 1992
2 Svenskt internetbolag köps för 1,4 miljarder. Ny Teknik – Marie Alpman - 2000
2 Ubf - universal binary format, http://www.sics.se/ joe/ubf – J L Armstrong - 2002