Lucid is a cool language from the dataflow paradigm. I've been looking at dataflow architectures among other alternative architectures since one of my goals is to find a verification driven architecture. See something like "Verification Driven Formal Architecture and Microarchitecture Modeling".