https://scholars.depaul.edu/en/publications/a-domain-theoretic-model-for-a-higher-order-process-calculus/
A domain-theoretic model for a higher-order process calculus - DePaul University Research Portal
a domainorder processdepaul universityresearch portaltheoretic
https://tore.tuhh.de/entities/publication/8c77df36-a6ea-40f0-8281-24551832ffe3
A process calculus for privacy-preserving protocols in location-based service systems
Location privacy-preserving mechanisms (LPPM) were introduced to protect users of location-based services (LBS) from the privacy threat of leaked personal...
location based serviceprocess calculusprivacypreservingprotocols