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.
This is the latest version of this item.
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.
Conference or Workshop Item
|Venue - Dates:
||Proceedings of PADL'01, 3rd International Symposium on Practical Aspects of Declarative Languages, 2001-10-01
||Specification, Verification, Concurrency, Implementation, and Compilation.
||Electronics & Computer Science
||05 Mar 2003
||17 Apr 2017 22:53
|Further Information:||Google Scholar|
Available Versions of this Item
Actions (login required)