|
15
|
AXD 301: A new generation ATM switching system
– Staffan Blau, Jan Rooth, Jorgen Axell, Fiffi Hellstrand, Magnus Buhrgard, Tommy Westin, Goran Wicklund
- 1998
|
|
19
|
Open telecom platform
– S Torstendahl
- 1997
|
|
6
|
Concurrent functional programming for telecommunications: A case study of technology introduction
– Bjarne Däcker
- 2000
|
|
28
|
The Graph Visualization System daVinci -- A User Interface . . .
– Michael Fröhlich, Mattias Werner
- 1994
|
|
68
|
CADP - A Protocol Validation and Verification Toolbox
– Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
- 1996
|
|
187
|
Discovering Models of Software Processes from Event-Based Data
– Jonathan E. Cook, Alexander L. Wolf
- 1998
|
|
232
|
Mining Specifications
– Glenn Ammons, Rastislav Bodik, James R. Larus
- 2002
|
|
255
|
Results on the propositional µ-calculus
– D Kozen
- 1983
|
|
200
|
A Technique for Drawing Directed Graphs
– Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Kiem-phong Vo
- 1993
|
|
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
|
|
4
|
Scalaris: Reliable transactional p2p key/value store
– T Schintke Schütt, F, A Reinefeld
|
|
1
|
Concurrency-oriented programming in Erlang. Invited Talk at the Lightweight Languages Workshop
– J Armstrong
- 2002
|
|
1
|
Refactoring with Wrangler: Data and process refactorings and integration with Eclipse
– H li, S Thompson, G Orosz, M Toth
|
|
22
|
Fault-Tolerance by Replication in Distributed Systems
– Rachid Guerraoui, André Schiper
- 1996
|
|
60
|
The development of Erlang
– Ericsson Telecom Ab
- 1997
|
|
171
|
Why Do Computers Stop And What Can Be Done About It?
– Jim Gray
- 1985
|
|
252
|
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
– Koen Claessen, John Hughes
- 2000
|
|
42
|
Making Reliable Distributed Systems in the Presence of Software Errors
– Joe Armstrong, To Helen
- 2003
|
