Yes, pak choi is typically the term used in the UK, while bok choy is used in the US and elsewhere.