Communicating sequential processes
Communicating sequential processes
Executing temporal logic programs
Executing temporal logic programs
Statecharts: A visual formalism for complex systems
Science of Computer Programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Concurrent constraint programming
Concurrent constraint programming
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Default timed concurrent constraint programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Horus: a flexible group communication system
Communications of the ACM
IEEE Spectrum
Hybrid cc, hybrid automata and program verification (extended abstract)
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Model checking for programming languages using VeriSoft
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computing with continuous change
Science of Computer Programming - Special issue on concurrent constraint programming
Automated systematic testing for constraint-based interactive services
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Communication and Concurrency
Efficiently Executable Temporal Logic Programs
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
A Declarative Approach to Concurrent Programming
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Programming in Hybrid Constraint Languages
Hybrid Systems II
Hybrid cc with Interval Constraints
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Design and Implementation of Triveni: a Process-algebraic API for Threads + Events
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Object and concurrency in Triveni: a telecommunication case study in java
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Hi-index | 0.00 |
This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, collaborations and games. Our framework integrates three components based on (concurrent) constraint programming ideas: (1) Hybrid cc, a (concurrent) constraint modeling language for hybrid systems, (2) Sisl, a (discrete) timed constraint language for describing interactive services with flexible user interfaces and (3) Triveni, a process-algebraic language for concurrent programming. The framework is realized as a collection of tools implemented in Java. The utility of the ideas are illustrated by sketching the implementations of simple distributed applications.