Semantics, verification and design of concurrent programs using atomic actions

Model checking for concurrent software architectures

Giannakopoulou, D.

January 1999

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

Programming and verifying asynchronous systems

Cotronis, J.Y.

January 1982

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

Behaviour equivalences An approach to the semantics of processes

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

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/88) / BLDSC - B...

Typed concurrent programs Specification and verification

Nagarajan, R.

January 1999

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

Formal verification of concurrent programs in type theory

Yu, S.

January 1999

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

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

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

Formal semantics of nondeterminism and parallelism

Kennaway, J

January 1981

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

A calculus of atomic actions

Tayfun Elmas
Shaz Qadeer
Serdar Tasiran

January 2008

We present a proof calculus and method for the static verification of assertions and procedure speci...

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

A Criterion for Atomicity

James H. Anderson
Mohamed G. Gouda

January 2000

Most proof methods for reasoning about concurrent programs are based upon the interleaving semantics...

Concurrency control in multiple perspective software development

Poon, W.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DX211891 / BLDSC - British Library Do...

Abstraction and refinement of process actions

Streader, D.

January 2000

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

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)

Pedro Da Rocha Pinto
Thomas Dinsdale-young

January 2015

The specification of a concurrent program module is a difficult problem. The specifications must be ...

Axiomatising finite concurrent processes

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

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/87) / BLDSC - B...

Model checking for concurrent software architectures

Giannakopoulou, D.

January 1999

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

Programming and verifying asynchronous systems

Cotronis, J.Y.

January 1982

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

Behaviour equivalences An approach to the semantics of processes

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

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/88) / BLDSC - B...

Typed concurrent programs Specification and verification

Nagarajan, R.

January 1999

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

Formal verification of concurrent programs in type theory

Yu, S.

January 1999

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

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

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

Formal semantics of nondeterminism and parallelism

Kennaway, J

January 1981

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

A calculus of atomic actions

Tayfun Elmas
Shaz Qadeer
Serdar Tasiran

January 2008

We present a proof calculus and method for the static verification of assertions and procedure speci...

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

A Criterion for Atomicity

James H. Anderson
Mohamed G. Gouda

January 2000

Most proof methods for reasoning about concurrent programs are based upon the interleaving semantics...

Concurrency control in multiple perspective software development

Poon, W.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DX211891 / BLDSC - British Library Do...

Abstraction and refinement of process actions

Streader, D.

January 2000

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

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)

Pedro Da Rocha Pinto
Thomas Dinsdale-young

January 2015

The specification of a concurrent program module is a difficult problem. The specifications must be ...

Axiomatising finite concurrent processes

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

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/87) / BLDSC - B...

Model checking for concurrent software architectures

Giannakopoulou, D.

January 1999

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

Programming and verifying asynchronous systems

Cotronis, J.Y.

January 1982

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

Behaviour equivalences An approach to the semantics of processes

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

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/88) / BLDSC - B...

Semantics, verification and design of concurrent programs using atomic actions

Abstract

Extracted data

Semantics, verification and design of concurrent programs using atomic actions

Abstract

Extracted data

Related items

Related items