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). Proceedings of PADL'01, 3rd International Symposium on Practical Aspects of Declarative Languages Springer-Verlag, 14-28.

This is the latest version of this item.

Download

[img] Postscript
Download (1059Kb)

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 (UNSPECIFIED)
ISBNs: 3540417680
ISSNs: 0302-9743
Keywords: Specification, Verification, Concurrency, Implementation, and Compilation.
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 257253
Date Deposited: 05 Mar 2003
Last Modified: 27 Mar 2014 19:59
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

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