Vajihollahi, Mona

Computational modeling and formal analysis techniques in interdisciplinary studies of complex systems

High level specification and validation of the Business Process Execution Language for Web Services