Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Programming and verifying asynchronous systems

Cotronis, J.Y.

Publication date

January 1982

Abstract

SIGLELD:D46908/83 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

Related items

Planning and implementing an automated library system

Library Information Technology Centre, London (United Kingdom)

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5276.325(LITC-R--1) / BLDSC - Britis...

Audio Engineering Society, Slough (United Kingdom)

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:q93/09131(DSP) / BLDSC - British Lib...

Computer services

ICC Business Publications Ltd., Hampton (United Kingdom)

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:3394.274957(18) / BLDSC - British Lib...

Practical fault tolerant software for asynchronous systems

Campbell, R.H.
Anderson, T.
Randell, B.
Newcastle upon Tyne Univ. (UK). Computing Lab.

January 1983

SIGLELD:8724.9(187) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Programming and verifying concurrent systems in COSY

Shielas, M.W.
Lauer, P.E.
Newcastle upon Tyne Univ. (UK). Computing Lab.

January 1980

SIGLELD:8724.9(155) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

The testing of asynchronous sequential machines

Woodward, A.T
University of Wales Inst. of Science and Technology (UWIST), Cardiff (United Kingdom)

January 1985

SIGLEAvailable from British Library Lending Division - LD:D58011/85 / BLDSC - British Library Docume...

Communication systems

Cryan, R.A.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN039907 / BLDSC - British Library D...

Typed concurrent programs Specification and verification

Nagarajan, R.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN048196 / BLDSC - British Library D...

Maintenance of computer programming Volume 1

Martin, J.
McClure, C.
Savant Research Studies, Carnforth (UK)

January 1982

SIGLELD:f92/3323 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Decentralised computation

Treleaven, P.C.
Hopkins, R.P.
Newcastle upon Tyne Univ. (UK). Computing Lab.

January 1980

SIGLELD:8724.9(157) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Correctness and communication in real-time systems

Schneider, S.A

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:D92689 / BLDSC - British Library Doc...

Implementing e-transactions with asynchronous replication

Frolund, S.
Guerraoui, R.
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:4335.26205(2000-46) / BLDSC - British...

Electronic computers

Tunzelmann, N. von
Malerba, F.
Torrisi, S
Sussex Univ., Brighton (United Kingdom). Science Policy Research Unit

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3623.338(SU-SPRU-DRC-DP--84) / BLDSC...

Verification of compiled code

Buttle, D.
York Univ. (United Kingdom). Dept. of Computer Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:9120.156(2001/04) / BLDSC - British L...

Maintenance of computer programming Volume 2

Martin, J.
McClure, C.
Savant Research Studies, Carnforth (UK)

January 1982

SIGLELD:f82/3324 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Planning and implementing an automated library system

Library Information Technology Centre, London (United Kingdom)

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5276.325(LITC-R--1) / BLDSC - Britis...

Audio Engineering Society, Slough (United Kingdom)

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:q93/09131(DSP) / BLDSC - British Lib...

Computer services

ICC Business Publications Ltd., Hampton (United Kingdom)

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:3394.274957(18) / BLDSC - British Lib...

Practical fault tolerant software for asynchronous systems

Campbell, R.H.
Anderson, T.
Randell, B.
Newcastle upon Tyne Univ. (UK). Computing Lab.

January 1983

SIGLELD:8724.9(187) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Programming and verifying concurrent systems in COSY

Shielas, M.W.
Lauer, P.E.
Newcastle upon Tyne Univ. (UK). Computing Lab.

January 1980

SIGLELD:8724.9(155) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

The testing of asynchronous sequential machines

Woodward, A.T
University of Wales Inst. of Science and Technology (UWIST), Cardiff (United Kingdom)

January 1985

SIGLEAvailable from British Library Lending Division - LD:D58011/85 / BLDSC - British Library Docume...

Communication systems

Cryan, R.A.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN039907 / BLDSC - British Library D...

Typed concurrent programs Specification and verification

Nagarajan, R.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN048196 / BLDSC - British Library D...

Maintenance of computer programming Volume 1

Martin, J.
McClure, C.
Savant Research Studies, Carnforth (UK)

January 1982

SIGLELD:f92/3323 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Decentralised computation

Treleaven, P.C.
Hopkins, R.P.
Newcastle upon Tyne Univ. (UK). Computing Lab.

January 1980

SIGLELD:8724.9(157) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Correctness and communication in real-time systems

Schneider, S.A

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:D92689 / BLDSC - British Library Doc...

Implementing e-transactions with asynchronous replication

Frolund, S.
Guerraoui, R.
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:4335.26205(2000-46) / BLDSC - British...

Electronic computers

Tunzelmann, N. von
Malerba, F.
Torrisi, S
Sussex Univ., Brighton (United Kingdom). Science Policy Research Unit

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3623.338(SU-SPRU-DRC-DP--84) / BLDSC...

Verification of compiled code

Buttle, D.
York Univ. (United Kingdom). Dept. of Computer Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:9120.156(2001/04) / BLDSC - British L...

Maintenance of computer programming Volume 2

Martin, J.
McClure, C.
Savant Research Studies, Carnforth (UK)

January 1982

SIGLELD:f82/3324 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Planning and implementing an automated library system

Library Information Technology Centre, London (United Kingdom)

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5276.325(LITC-R--1) / BLDSC - Britis...

Audio Engineering Society, Slough (United Kingdom)

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:q93/09131(DSP) / BLDSC - British Lib...

Computer services

ICC Business Publications Ltd., Hampton (United Kingdom)

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:3394.274957(18) / BLDSC - British Lib...