Cited By
View all- Orchard DMunteanu MTorrens P(2023)Communicating Actor Automata - Modelling Erlang Processes as Communicating MachinesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.378.4378(38-48)Online publication date: 13-Apr-2023
- Chen AFathololumi PKoskinen EPincus J(2022)Veracity: declarative multicore programming with commutativityProceedings of the ACM on Programming Languages10.1145/35633496:OOPSLA2(1726-1756)Online publication date: 31-Oct-2022
- Peters KNestmann USchmitt A(2022)On distributabilityTheoretical Computer Science10.1016/j.tcs.2022.03.028913(151-173)Online publication date: Apr-2022
- Show More Cited By