Truly Concurrent Process Algebra with Localities | lit.salon