Testing congruence for mobile processes
Journal of Computer Science and Technology
A mechanized theory of the &pi-calculus in Hol
Nordic Journal of Computing
Bisimulation Lattice of Chi Processes
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
From Process Calculi to Process Frameworks
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Bisimulation congruence of ℵ-calculus
Information and Computation
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
Theory and Practice of Logic Programming
Verification techniques for distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Interaction soundness for service orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
Consistency checking of statechart diagrams of a class hierarchy
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |