Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Zero-safe nets: comparing the collective and individual token approaches
Information and Computation - Special issue on EXPRESS 1997
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A LTS Semantics of Ambients via Graph Synchronization with Mobility
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Business Process Modeling for Organizational Knowledge Management
Concurrency, Graphs and Models
| Hi-index | 0.00 |
We review the challenges of providing Web Services, especially those this new technology will impose on models of computation.