Observational Logics and Concurrency Models