Elsevier
Electronic Notes in Theoretical Computer Science
International Workshop on the Foundations of Coordination Languages and Software Architecture
Computer Security

Guillen Scholten, J., Arbab, F., de Boer, F.& Bonsangue, M. (2006). Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets. Electronic Notes in Theoretical Computer Science, 154(1), 121–138.