Bisimulation Lattice of Chi Processes
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Open Bisimulations on Chi Processes
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Bisimulation congruence of ℵ-calculus
Information and Computation
Theoretical Computer Science
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
A closer look at constraints as processes
Information Processing Letters
A congruence rule format for name-passing process calculi
Information and Computation
A closer look at constraints as processes
Information Processing Letters
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
On the bisimulation congruence in χ-calculus
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Name-Passing Calculi: From Fusions to Preorders and Types
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |