presented at event IFIP TC2 WG2 1 International Workshop on Algorithmic Languages and Calculi Conference
keywords Computer Science Computer Science, Software Engineering Mathematics Mathematics, Applied Physical Sciences Science & Technology Technology complex systems incremental development interconnection synthesis