Full abstraction for a shared-variable parallel language
scientific article; zbMATH DE number 930736