- Active Learning for Sound Negotiations Anca Muscholl Igor Walukiewicz Mon 29 August 2022
- StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems Yixiao Lin Sayan Mitra Tue 13 March 2018
- Distributed Timed Automata with Independently Evolving Clocks S. Akshay Benedikt Bollig Paul Gastin Madhavan Mukund K. Narayan Kumar Mon 12 October 2015
- Time, Clocks, and the Ordering of Events in a Distributed System Leslie Lamport Sat 13 September 2014
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
