Process Calculi to Analyze Emerging Applications in Concurrency