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


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

This is the latest version of this item.

Download

[img] Postscript csp-padl-final.ps - Other
Download (1MB)

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

Item Type: Conference or Workshop Item (Other)
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.
Organisations: Electronics & Computer Science
ePrint ID: 257253
Date :
Date Event
October 2001Published
Date Deposited: 05 Mar 2003
Last Modified: 17 Apr 2017 22:53
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/257253

Available Versions of this Item

Actions (login required)

View Item View Item