Romain Edelmann, Joseph Sifakis, Simon Bliudze
This paper presents a theoretical foundation for functional language implementations of Behaviour–Interaction–Priority (BIP). We introduce a set of connector combinators describing synchronisation, data transfer, priorities and dynamicity in a principled w ...
Elsevier Science Inc2017