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
Publisher: Springer-Verlag
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