Divergence in testing and readiness semantics
Theoretical Computer Science
A fully abstract denotational semantics for the π-calculus
Theoretical Computer Science
Additive models of probabilistic processes
Theoretical Computer Science
A semantic theory for value-passing processes based on the late approach
Information and Computation
A regular viewpoint on processes and algebra
Acta Cybernetica
Probabilistic bisimulations for quantum processes
Information and Computation
Bisimulation for quantum processes
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular composition of language features through extensions of semantic language models
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Bisimulation for Quantum Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Open bisimulation for quantum processes
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Theories of Programming and Formal Methods
| Hi-index | 0.00 |