Formal Aspects of Computing: Guest Editorial