AErlang: empowering erlang with attribute-based communication R De Nicola, T Duong, O Inverso, C Trubiani Coordination Models and Languages: 19th IFIP WG 6.1 International Conference …, 2017 | 15 | 2017 |
AErlang: Empowering Erlang with attribute-based communication R De Nicola, T Duong, O Inverso, C Trubiani Science of Computer Programming 168, 71-93, 2018 | 12 | 2018 |
ABEL-a domain specific framework for programming with attribute-based communication R De Nicola, T Duong, M Loreti Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019 | 10 | 2019 |
Verifying properties of systems relying on attribute-based communication R De Nicola, T Duong, O Inverso, F Mazzanti ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of …, 2017 | 9 | 2017 |
Verifying AbC specifications via emulation R De Nicola, T Duong, O Inverso Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 8 | 2020 |
Provably correct implementation of the AbC calculus R De Nicola, T Duong, M Loreti Science of Computer Programming 202, 102567, 2021 | 7 | 2021 |
AErlang at work R De Nicola, T Duong, O Inverso, C Trubiani International Conference on Current Trends in Theory and Practice of …, 2017 | 6 | 2017 |
A systematic approach to programming and verifying attribute-based communication systems R De Nicola, T Duong, O Inverso, F Mazzanti From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 2 | 2019 |