Cited By
View all- Laveaux MWillemse T(2023)Decomposing monolithic processes in a process algebra with multi-actionsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2023.100858132(100858)Online publication date: Apr-2023
- Laveaux MWillemse T(2021)Decomposing Monolithic Processes in a Process Algebra with Multi-actionsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.347.4347(57-76)Online publication date: 2-Oct-2021
- Riley IJahan SMarshall AWalter CGamble R(2021)Evaluating verification awareness as a method for assessing adaptation riskFuture Generation Computer Systems10.1016/j.future.2021.01.034Online publication date: Feb-2021
- Show More Cited By