Proving correctness of timed concurrent constraint programs

Authors:
Frank S. De Boer;Maurizio Gabbrielli;Maria Chiara Meo
Affiliations:
CWI and Universiteit Utrecht, Amsterdam, The Netherlands;Università di Bologna, Bologna, Italy;Università di Chieti-Pescara, Pescara, Italy
Venue:
ACM Transactions on Computational Logic (TOCL)
Year:
2004

Citing 15
Cited 6

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Concurrent constraint programming

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully abstract model for concurrent constraint programming

TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Timed default concurrent constraint programming

Journal of Symbolic Computation - Special issue: executable temporal logics
Proving concurrent constraint programs correct

ACM Transactions on Programming Languages and Systems (TOPLAS)
A model and proof system for asynchronous networks

Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A timed concurrent constraint language

Information and Computation
Temporal Concurrent Constraint Programming: Applications and Behavior

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
The Failure of Failures in a Paradigm for Asynchronous Communication

CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Proving Correctness of Timed Concurrent Constraint Programs

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A Temporal Concurrent Constraint Programming Calculus

CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
On Blocks: Locality and Asynchronous Communication (Extended Abstract)

Proceedings of the REX Workshop on Sematics: Foundations and Applications
A Temporal Logic for Reasoning about Timed Concurrent Constraint Programs

TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)

A compositional semantics for CHR

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A semantic framework for the abstract model checking of tccp programs

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Automatic verification of timed concurrent constraint programs

Theory and Practice of Logic Programming
A compositional semantics for CHR

ACM Transactions on Computational Logic (TOCL)
An overview of AI research in Italy

Artificial intelligence
Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract

A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on modalities which allow one to specify what a process produces as a reaction to what its environment inputs. These modalities provide an assumption/commitment style of specification which allows a sound and complete compositional axiomatization of the reactive behavior of timed concurrent constraint programs.