Synthesising interconnections

• Authors:

• J. L. Fiadeiro;T. S. E. Maibaum;A. Lopes

• Affiliations:

• Univ. of Lisbon, Lisboa, Portugal;Imperial College of Science Technology and Medicine, London, UK;Univ. of Lisbon, Lisboa, Portugal

• Venue:
• Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
• Year:
• 1997