Health care applications: a solution based on the internet of things
A Process Semantics for BPMN