Constraints for Free in Concurrent Computation

Authors:
Joachim Niehren;Martin Müller
Affiliations:
-;-
Venue:
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
Year:
1995

Functional computation as concurrent computation

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From rewrite rules to bisimulation congruences

Theoretical Computer Science
Integrating Constraints and Concurrent Objects in MusicalApplications: A Calculus and its Visual Language

Constraints
Resource-Passing Concurrent Programming

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Uniform confluence in concurrent computation

Journal of Functional Programming
A closer look at constraints as processes

Information Processing Letters
Explicit fusions

Theoretical Computer Science - Mathematical foundations of computer science 2000
A closer look at constraints as processes

Information Processing Letters
CC-Pi: a constraint-based language for specifying service level agreements

ESOP'07 Proceedings of the 16th European conference on Programming
A probabilistic applied pi-calculus

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Distributed Concurrent Constraint Programming

Fundamenta Informaticae

Hi-index	0.00