The University of Southampton
University of Southampton Institutional Repository

Design and Implementation of the High-Level Specification Language CSP(LP)

Design and Implementation of the High-Level Specification Language CSP(LP)
Design and Implementation of the High-Level Specification Language CSP(LP)
We describe practical experiences of using a logic programming based approach to model and reason about concurrent systems. We argue that logic programming is a good foundation for developing, prototyping, animating new specification languages. In particular, we present the new high-level specification language CSP(LP), unifying CSP with concurrent (constraint) logic programming, and which can be used to formally reason both about logical and concurrent aspects of critical systems.
Specification, Verification, Concurrency, Implementation, and Compilation.
3-540-41768-0
14-28
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b

Leuschel, Michael (2001) Design and Implementation of the High-Level Specification Language CSP(LP). Proceedings of PADL'01, 3rd International Symposium on Practical Aspects of Declarative Languages. pp. 14-28 .

Record type: Conference or Workshop Item (Other)

Abstract

We describe practical experiences of using a logic programming based approach to model and reason about concurrent systems. We argue that logic programming is a good foundation for developing, prototyping, animating new specification languages. In particular, we present the new high-level specification language CSP(LP), unifying CSP with concurrent (constraint) logic programming, and which can be used to formally reason both about logical and concurrent aspects of critical systems.

Other
csp-padl-final.ps - Other
Download (1MB)

More information

Published date: October 2001
Venue - Dates: Proceedings of PADL'01, 3rd International Symposium on Practical Aspects of Declarative Languages, 2001-10-01
Keywords: Specification, Verification, Concurrency, Implementation, and Compilation.

Identifiers

Local EPrints ID: 254117
URI: http://eprints.soton.ac.uk/id/eprint/254117
ISBN: 3-540-41768-0
PURE UUID: 01d7b52b-df50-48ca-a892-7d43e74639ba

Catalogue record

Date deposited: 14 Mar 2001
Last modified: 14 Mar 2024 05:30

Export record

Contributors

Author: Michael Leuschel

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×