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

Model checking for concurrent software architectures

Giannakopoulou, D.

Publication date

January 1999

Abstract

Available from British Library Document Supply Centre-DSC:DXN034994 / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

Extracted data

Related items

Heterogeneous parallel computing

Jackson, R.O.

January 1999

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

Discrete modelling

Cox, M.
Forbes, A.
Harris, P.
National Physical Lab., Teddington (United Kingdom). Centre for Mathematics and Scientific Computing

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8321.4562(no 4) / BLDSC - British Lib...

Multiple profile models

Rimmer, M.J.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN033557 / 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...

Optimising communication structure for model checking

Saffrey, Peter

January 2003

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

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

Model checking based on prefixes of petri net unfoldings

Khomenko, Victor

January 2003

Available from British Library Document Supply Centre- DSC:DXN061636 / BLDSC - British Library Docum...

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

Concurrent and distributed functional systems

Spiliopoulou, E.

January 2000

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

Model building and machine fault diagnosis

Zhong, B.

January 1994

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

Cost modelling and concurrent engineering for testable design

Dick, J.H

January 1993

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

Software agent architecture for consistency checking of distributed documents

Smolko, Danila Stanislavovich

January 2002

Available from British Library Document Supply Centre- DSC:DXN061917 / BLDSC - British Library Docum...

Process modelling for requirements capture

Crouch, S.

January 2000

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

Faster and symbolic CTMC model checking

Katoen, J.
Kwiatkowska, M.
Norman, G.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(01-3) / BLDSC - British Lib...

Modelling, safety verification and design of discrete/continuous processing systems

Dimtriadish, V.

January 1997

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

Heterogeneous parallel computing

Jackson, R.O.

January 1999

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

Discrete modelling

Cox, M.
Forbes, A.
Harris, P.
National Physical Lab., Teddington (United Kingdom). Centre for Mathematics and Scientific Computing

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8321.4562(no 4) / BLDSC - British Lib...

Multiple profile models

Rimmer, M.J.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN033557 / 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...

Optimising communication structure for model checking

Saffrey, Peter

January 2003

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

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

Model checking based on prefixes of petri net unfoldings

Khomenko, Victor

January 2003

Available from British Library Document Supply Centre- DSC:DXN061636 / BLDSC - British Library Docum...

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

Concurrent and distributed functional systems

Spiliopoulou, E.

January 2000

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

Model building and machine fault diagnosis

Zhong, B.

January 1994

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

Cost modelling and concurrent engineering for testable design

Dick, J.H

January 1993

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

Software agent architecture for consistency checking of distributed documents

Smolko, Danila Stanislavovich

January 2002

Available from British Library Document Supply Centre- DSC:DXN061917 / BLDSC - British Library Docum...

Process modelling for requirements capture

Crouch, S.

January 2000

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

Faster and symbolic CTMC model checking

Katoen, J.
Kwiatkowska, M.
Norman, G.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(01-3) / BLDSC - British Lib...

Modelling, safety verification and design of discrete/continuous processing systems

Dimtriadish, V.

January 1997

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

Heterogeneous parallel computing

Jackson, R.O.

January 1999

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

Discrete modelling

Cox, M.
Forbes, A.
Harris, P.
National Physical Lab., Teddington (United Kingdom). Centre for Mathematics and Scientific Computing

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8321.4562(no 4) / BLDSC - British Lib...

Multiple profile models

Rimmer, M.J.

January 1999

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