article · ePrints Soton (University of Southampton) · 2001

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

Cited by 16Abstract and details only

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.

Cite this paper

APA 7

Leuschel, M. (2001). Design and Implementation of the High-Level Specification Language CSP(LP). ePrints Soton (University of Southampton).

MLA 9

Leuschel, Michaël. “Design and Implementation of the High-Level Specification Language CSP(LP).” ePrints Soton (University of Southampton), 2001.

Chicago

Leuschel, Michaël. 2001. “Design and Implementation of the High-Level Specification Language CSP(LP).” ePrints Soton (University of Southampton).

Harvard

Leuschel, M. (2001) ‘Design and Implementation of the High-Level Specification Language CSP(LP)’, ePrints Soton (University of Southampton).

BibTeX

@article{leuschel2001design,
  title = {{Design and Implementation of the High-Level Specification Language CSP(LP)}},
  author = {Leuschel, Michaël},
  journal = {ePrints Soton (University of Southampton)},
  year = {2001}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.