Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming Read chapter Read first chapter

2001 | OriginalPaper | Chapter

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

Author : Michael Leuschel

Published in: Practical Aspects of Declarative Languages

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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, and 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 we hope can be used to formally reason both about logical and concurrent aspects of critical systems.

previous chapter A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
next chapter Frappé: Functional Reactive Programming in Java
Metadata
Title
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog
Author
Michael Leuschel
Copyright Year
2001
Publisher
Springer Berlin Heidelberg
Book
Practical Aspects of Declarative Languages

Print ISBN: 978-3-540-41768-2

Electronic ISBN: 978-3-540-45241-6

Copyright Year: 2001

DOI
https://doi.org/10.1007/3-540-45241-9_2

Premium Partner

    Image Credits