Formal verification of concurrent programs in type theory

A language for the dynamic verification of design patterns in distributed computing

Neal, S.

January 2001

Available from British Library Document Supply Centre-DSC:DXN044660 / BLDSC - British Library Docume...

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...

The principles and applications of concurrent engineering

Kamara, J.M.
Anumba, C.J.
Evbuomwan, N.F.O.
University of Teesside, Middlesbrough (United Kingdom). School of Science and Technology

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:8423.4175(97/1) / BLDSC - British Lib...

Typed concurrent programs Specification and verification

Nagarajan, R.

January 1999

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

Semantics, verification and design of concurrent programs using atomic actions

Best, E

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D40970/82 / BLDSC - British Library ...

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

Model checking for concurrent software architectures

Giannakopoulou, D.

January 1999

Available from British Library Document Supply Centre-DSC:DXN034994 / BLDSC - British Library Docume...

Concurrent testing of processes

Hennessy, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--11/91) / BLDSC - ...

A mathematical theory of synchronous concurrent algorithms

Thompson, B.C

January 1987

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

The synthesis and verification of logic programs

Clark, K.L.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/36). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Invariants and paradigms of concurrency theory

Janicki, R.
Koutny, M
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--355) / BLDSC - B...

On developing and verifying design abstractions for reliable concurrent programming in Ada

Koelmans, A. (and others)
Wellings, A.
Burns, A.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Available from British Library Document Supply Centre-DSC:8724.920(no CS-TR-706) / BLDSC - British L...

Formal semantics of nondeterminism and parallelism

Kennaway, J

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39421/82 / BLDSC - British Library ...

Verification of diagrammatic proofs

Jamnik, M.
Bundy, A.
Green, I.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(924) / BLDSC - British Libra...

Towards Reliable Concurrent Software

Huisman, Marieke
Joosten, Sebastiaan J. C.
Müller, Peter
Schaefer, Ina

January 2018

As the use of concurrent software is increasing, we urgently need techniques to establish the correc...

A language for the dynamic verification of design patterns in distributed computing

Neal, S.

January 2001

Available from British Library Document Supply Centre-DSC:DXN044660 / BLDSC - British Library Docume...

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...

The principles and applications of concurrent engineering

Kamara, J.M.
Anumba, C.J.
Evbuomwan, N.F.O.
University of Teesside, Middlesbrough (United Kingdom). School of Science and Technology

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:8423.4175(97/1) / BLDSC - British Lib...

Typed concurrent programs Specification and verification

Nagarajan, R.

January 1999

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

Semantics, verification and design of concurrent programs using atomic actions

Best, E

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D40970/82 / BLDSC - British Library ...

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

Model checking for concurrent software architectures

Giannakopoulou, D.

January 1999

Available from British Library Document Supply Centre-DSC:DXN034994 / BLDSC - British Library Docume...

Concurrent testing of processes

Hennessy, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--11/91) / BLDSC - ...

A mathematical theory of synchronous concurrent algorithms

Thompson, B.C

January 1987

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

The synthesis and verification of logic programs

Clark, K.L.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/36). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Invariants and paradigms of concurrency theory

Janicki, R.
Koutny, M
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--355) / BLDSC - B...

On developing and verifying design abstractions for reliable concurrent programming in Ada

Koelmans, A. (and others)
Wellings, A.
Burns, A.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Available from British Library Document Supply Centre-DSC:8724.920(no CS-TR-706) / BLDSC - British L...

Formal semantics of nondeterminism and parallelism

Kennaway, J

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39421/82 / BLDSC - British Library ...

Verification of diagrammatic proofs

Jamnik, M.
Bundy, A.
Green, I.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(924) / BLDSC - British Libra...

Towards Reliable Concurrent Software

Huisman, Marieke
Joosten, Sebastiaan J. C.
Müller, Peter
Schaefer, Ina

January 2018

As the use of concurrent software is increasing, we urgently need techniques to establish the correc...

A language for the dynamic verification of design patterns in distributed computing

Neal, S.

January 2001

Available from British Library Document Supply Centre-DSC:DXN044660 / BLDSC - British Library Docume...

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...

The principles and applications of concurrent engineering

Kamara, J.M.
Anumba, C.J.
Evbuomwan, N.F.O.
University of Teesside, Middlesbrough (United Kingdom). School of Science and Technology

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:8423.4175(97/1) / BLDSC - British Lib...

Formal verification of concurrent programs in type theory

Abstract

Extracted data

Formal verification of concurrent programs in type theory

Abstract

Extracted data

Related items

Related items