Preserving coordination properties when transforming concurrent system components

• Authors:

• Gudmund Grov;Robert Pointon;Greg Michaelson;Andrew Ireland

• Affiliations:

• Heriot-Watt University, Riccarton, Scotland;Heriot-Watt University, Riccarton, Scotland;Heriot-Watt University, Riccarton, Scotland;Heriot-Watt University, Riccarton, Scotland

• Venue:
• Proceedings of the 2008 ACM symposium on Applied computing
• Year:
• 2008