Source

Computing Laboratory Technical Report Series

Source type: journal

Publisher:

Fully OA: No

DOAJ: No

OpenAlex ID: S4306506747

Process Structuring Synchronisation and Recovery Using Atomic Actions

1976 · DB Lomet · Computing Laboratory Technical Report Series · 10

Some relationships Between Implicit Runge-Kutta, Collocation and Lanczos & Methods and their Stability Properties

1969 · K. Wright · Computing Laboratory Technical Report Series · 10

Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems

1986 · GN Dixon, SK Shrivastava · Computing Laboratory Technical Report Series · 8

Design and development of communication protocols for local area networks

1985 · Fabio Panzieri · Computing Laboratory Technical Report Series · 6

Hash Coding Methods for Sparse Matrices

1973 · Villers De, L. B. Wilson · Computing Laboratory Technical Report Series · 6

Reliability and Security Issues in Distributed Computing Systems

1985 · Brian Randell, JE Dobson · Computing Laboratory Technical Report Series · 5

A Recursive (VLSI) Computer Architecture

1981 · PC Treleavan, RP Hopkins · Computing Laboratory Technical Report Series · 5

The TOPD System

1975 · P Henderson, RA Snowdon, et al. · Computing Laboratory Technical Report Series · 5

Programming and Verifying Concurrent Systems in COSY

1980 · MW Shields, PE Lauer · Computing Laboratory Technical Report Series · 4

A Theorem on the Characteristics of Non-sequential Processes

1977 · Eike Best · Computing Laboratory Technical Report Series · 3

Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality

1989 · LV Mancini, SK Shrivastava · Computing Laboratory Technical Report Series · 2

Abstract Specification of Resource Accessing Disciplines: Adequacy, Starvation, Priority and Interrupts

1977 · PE Lauer, MW Shields · Computing Laboratory Technical Report Series · 2

Object-oriented design methodologies for software systems

1991 · Luiz Fernando Capretz · Computing Laboratory Technical Report Series · 1

Modelling Dynamic Reconfiguration in TMR Systems

1988 · Marta Pietkiewicz-Koutny · Computing Laboratory Technical Report Series · 1

Consistent and Complementary Formal Theories of the Semantics of Programming Languages

1973 · Car Hoare, PE Lauer · Computing Laboratory Technical Report Series · 1

A Structural Technique for Fault-Protection in Asynchronous Interfaces

1991 · Alex Yakovlev · Computing Laboratory Technical Report Series

Principal Features of the Voltan Family of Reliable Node Architectures for Distributed Systems

1991 · SK Shrivastava, PD Ezhilchelvan, et al. · Computing Laboratory Technical Report Series

Refining Known Results on the Generalized Word Problem for Free Graphs

1991 · IA Stewart · Computing Laboratory Technical Report Series

Axiom System Induced by CTL Logic

1990 · Maciej Koutny · Computing Laboratory Technical Report Series

The exploitation of parallelism on shared memory multiprocessors

1990 · Michael Allan Stoker · Computing Laboratory Technical Report Series

On Equivalent Execution Semantics of Concurrent Systems

1987 · Ryszard Janicki, Maciej Koutny · Computing Laboratory Technical Report Series

Design Concepts for Robust Software

1986 · S. Pfleger · Computing Laboratory Technical Report Series

A Crash Resistant UNIX File System

1985 · J. A. Anyanwu, LF Marshall · Computing Laboratory Technical Report Series

System Design and Structuring

1985 · Brian Randell · Computing Laboratory Technical Report Series

A General Mechanism for Avoiding Starvation with Distributed Control

1977 · Raymond Devillers, PE Lauer · Computing Laboratory Technical Report Series

Works count: 38

Citation count: 69

H-index: 5

I10-index: 2

2yr mean citedness: