1

GroupSpeak: High-level Language Extension for Workflow Capability
Combining SOA and BPM Technologies for Cross-System Process Automation
A Model-Driven Approach to Job/Task Composition in Cluster Computing
Mockup Supporting Web Requirements Engineering
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
Automated systematic testing for constraint-based interactive services
Interaction, Concurrency, and OOP in the Curriculum: a Sophomore Course
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java