The paper treats pseudodifferential operators P=Op(p(ξ)) with homogeneous complex symbol p(ξ) of order 2a>0, generalizing the fractional Laplacian (−Δ)a but lacking its symmetries, and taken to act on the halfspace Rn+. The operators are seen to satisfy a principal μ-transmission condition relative to Rn+, but generally not the full μ-transmission condition satisfied by (−Δ)a and related operators (with μ=a). However, P acts well on the so-called μ-transmission spaces over Rn+ (defined in earlier works), and when P moreover is strongly elliptic, these spaces are the solution spaces for the homogeneous Dirichlet problem for P, leading to regularity results with a factor xμn (in a limited range of Sobolev spaces). The information is then shown to be sufficient to establish an integration by parts formula over Rn+ for P acting on such functions. The formulation in Sobolev spaces, and the results on strongly elliptic operators going beyond certain operators with real kernels, are new. Furthermore, large solutions with nonzero Dirichlet traces are described, and a halfways Green's formula is established, as new results for these operators. Since the principal μ-transmission condition has weaker requirements than the full μ-transmission condition assumed in earlier papers, new arguments were needed, relying on work of Vishik and Eskin instead of the Boutet de Monvel theory. The results cover the case of nonsymmetric operators with real kernel that were only partially treated in a preceding paper.