Layered architecture(s): principles and practice in concurrent and distributed systems | IEEE Conference Publication | IEEE Xplore