Mackay, Julian
- Rusty Links in Local Chains
2022/05/02 by James Noble, Noble, James, Julian Mackay +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Necessity Specifications for Robustness
2022/09/17 by Julian Mackay, Sophia Drossopoulou, Mackay, Julian +5 · 2 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Security and Verification in Computing