1. AMQP.org: Advanced message queuing protocol (AMQP) (2016).
www.amqp.org/
. Accessed 01 Feb 2016
2. Blech, J.O., Peake, I., Schmidt, H., Kande, M., Ramaswamy, S., Sudarsan, S.D., Narayanan, V.: Collaborative engineering through integration of architectural, social and spatial models. In: Proceedings of Emerging Technologies and Factory Automation (ETFA). IEEE Computer (2014)
3. Blech, J.O., Schmidt, H.: Towards modeling and checking the spatial and interaction behavior of widely distributed systems. In: Improving Systems and Software Engineering Conference (2013)
4. Blech, J.O., Schmidt, H.: BeSpaceD: towards a tool framework and methodology for the specification and verification of spatial behavior of distributed software component systems. Technical report.
arXiv:1404.3537
(2014)
5. Lecture Notes in Computer Science;L Caires,2012