James H. Anderson
Affiliations:- University of North Carolina at Chapel Hill, USA
According to our database1,
James H. Anderson
authored at least 267 papers
between 1967 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2013, "For contributions to the implementation and analysis of multiprocessor and multicore real-time systems.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on cs.unc.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Statistical verification of autonomous system controllers under timing uncertainties.
Real Time Syst., March, 2024
Dagstuhl Artifacts Ser., 2024
Dagstuhl Artifacts Ser., 2024
Proceedings of the 14th IEEE International Symposium on Industrial Embedded Systems, 2024
Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024
Proceedings of the 36th Euromicro Conference on Real-Time Systems, 2024
Proceedings of the 36th Euromicro Conference on Real-Time Systems, 2024
Open Problem Resolved: The "Two" in Existing Multiprocessor PI-Blocking Bounds Is Fundamental.
Proceedings of the 36th Euromicro Conference on Real-Time Systems, 2024
2023
Detecting Unique Analyte-Specific Radio Frequency Spectral Responses in Liquid Solutions - Implications for Non-Invasive Physiologic Monitoring.
Sensors, 2023
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023
Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023
2022
Real Time Syst., 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Exact Response-Time Bounds of Periodic DAG Tasks under Server-Based Global Scheduling.
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.
Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022
Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022
2021
Tardiness bounds for fixed-priority global scheduling without intra-task precedence constraints.
Real Time Syst., 2021
Real Time Syst., 2021
Real Time Syst., 2021
The price of schedulability in cyclic workloads: The history-vs.-response-time-vs.-accuracy trade-off.
J. Syst. Archit., 2021
Light Reading: Optimizing Reader/Writer Locking for Read-Dominant Real-Time Workloads (Artifact).
Dagstuhl Artifacts Ser., 2021
AI Meets Real-Time: Addressing Real-World Complexities in Graph Response-Time Analysis.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
On the Defectiveness of SCHED_DEADLINE w.r.t. Tardiness and Affinities, and a Partial Fix.
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021
Proceedings of the 24th IEEE International Symposium on Real-Time Distributed Computing, 2021
Light Reading: Optimizing Reader/Writer Locking for Read-Dominant Real-Time Workloads.
Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021
Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
Supporting I/O and IPC via fine-grained OS isolation for mixed-criticality real-time tasks.
Real Time Syst., 2020
Dagstuhl Artifacts Ser., 2020
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
Proceedings of the 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2020
Proceedings of the 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2020
The Price of Schedulability in Multi-Object Tracking: The History-vs.-Accuracy Trade-Off.
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020
Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020
Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020
2019
Real Time Syst., 2019
Dagstuhl Artifacts Ser., 2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019
Re-Thinking CNN Frameworks for Time-Sensitive Autonomous-Driving Applications: Addressing an Industrial Challenge.
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019
GEDF Tardiness: Open Problems Involving Uniform Multiprocessors and Affinity Masks Resolved.
Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019
Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts (Artifact).
Dagstuhl Artifacts Ser., 2018
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018
Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018
2017
Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning.
Real Time Syst., 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Supporting mode changes while providing hardware isolation in mixed-criticality multicore systems.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017
Allowing Shared Libraries While Supporting Hardware Isolation in Multicore Real-Time Systems.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017
Optimal Dataflow Scheduling on a Heterogeneous Multiprocessor With Reduced Response Time Bounds.
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017
2016
J. Signal Process. Syst., 2016
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016
Reconciling the Tension Between Hardware Isolation and Data Sharing in Mixed-Criticality, Multicore Systems.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016
Reducing Response-Time Bounds for DAG-Based Task Systems on Heterogeneous Multicore Platforms.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016
Attacking the One-Out-Of-m Multicore Problem by Combining Hardware Management with Mixed-Criticality Provisioning.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016
2015
Supporting Real-Time Computer Vision Workloads Using OpenVX on Multicore+GPU Platforms.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Analysis for supporting real-time computer vision workloads using OpenVX on multicore+GPU platforms.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015
A contention-sensitive fine-grained locking protocol for multiprocessor real-time systems.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015
On the Soft Real-Time Optimality of Global EDF on Multiprocessors: From Identical to Uniform Heterogeneous.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015
2014
Real Time Syst., 2014
J. Syst. Archit., 2014
Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
Soft Real-Time Semi-Partitioned Scheduling with Restricted Migrations on Uniform Heterogeneous Multiprocessors.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014
Optimal GEDF-based schedulers that allow intra-task parallelism on heterogeneous multiprocessors.
Proceedings of the 12th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2014
2013
Real Time Syst., 2013
Des. Autom. Embed. Syst., 2013
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013
Bringing theory into practice: A userspace library for multicore real-time scheduling.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
Outstanding Paper Award: Making Shared Caches More Predictable on Multicore Platforms.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013
2012
SIGBED Rev., 2012
Distributed Comput., 2012
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012
Replica-Request Priority Donation: A Real-Time Progress Mechanism for Global Locking Protocols.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012
Outstanding Paper Award: Fair Lateness Scheduling: Reducing Maximum Lateness in G-EDF-Like Scheduling.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012
2011
J. Syst. Archit., 2011
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011
A Multiprocessor Server-Based Scheduler for Soft Real-Time Tasks with Stochastic Execution Demand.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011
Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks.
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011
2010
Real Time Syst., 2010
Real Time Syst., 2010
Supporting Soft Real-Time DAG-Based Systems on Multiprocessors with No Utilization Loss.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010
An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010
Improving the Schedulability of Sporadic Self-Suspending Soft Real-Time Multiprocessor Task Systems.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010
Scheduling Suspendable, Pipelined Tasks with Non-Preemptive Sections in Soft Real-Time Multiprocessor Systems.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
2009
Real Time Syst., 2009
Improved conditions for bounded tardiness under EPDF Pfair multiprocessor scheduling.
J. Comput. Syst. Sci., 2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Supporting Sporadic Pipelined Tasks with Early-Releasing in Soft Real-Time Multiprocessor Systems.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009
2008
A schedulable utilization bound for the multiprocessor <i>EPDF</i>\mathsf{EPDF} Pfair algorithm.
Real Time Syst., 2008
Real Time Syst., 2008
An EDF-based restricted-migration scheduling algorithm for multiprocessor soft real-time systems.
Real Time Syst., 2008
A Unified Hard/Soft Real-Time Schedulability Test for Global EDF Multiprocessor Scheduling.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008
On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008
An Implementation of the PCP, SRP, D-PCP, M-PCP, and FMLP Real-Time Synchronization Protocols in LITMUS<sup>RT</sup>.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008
Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin?
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008
Cache-Aware Real-Time Scheduling on Multicore Platforms: Heuristics and a Case Study.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008
2007
J. Parallel Distributed Comput., 2007
Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007
Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007
2006
J. Parallel Distributed Comput., 2006
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Accuracy versus Migration Overhead in Real-Time Multiprocessor Reweighting Algorithms.
Proceedings of the 12th International Conference on Parallel and Distributed Systems, 2006
Proceedings of the Ninth International Conference on Control, 2006
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006
2005
J. Embed. Comput., 2005
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005
2004
Proceedings of the Handbook of Scheduling - Algorithms, Models, and Performance Analysis., 2004
Proceedings of the Handbook of Scheduling - Algorithms, Models, and Performance Analysis., 2004
J. Comput. Syst. Sci., 2004
J. Comput. Inf. Sci. Eng., 2004
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Energy-Efficient Synthesis of Periodic Task Systems upon Identical Multiprocessor Platforms.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004
2003
Distributed Comput., 2003
Proceedings of the Distributed Computing, 17th International Conference, 2003
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003
Using Supertasks to Improve Processor Utilization in Multiprocessor Real-Time Systems.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003
Energy-aware Implementation of Hard-real-time Systems upon Multiprocessor Platforms.
Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, 2003
2002
Distributed Comput., 2002
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2002
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002
2001
Proceedings of the Distributed Computing, 15th International Conference, 2001
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Digital Angioplasty Balloon Inflation Device for Interventional Cardiovascular Procedures.
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2001
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2001
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2001
2000
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2000
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000
1999
IEEE Trans. Parallel Distributed Syst., 1999
Medical Image Anal., 1999
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999
Wait-Free Synchronization in Multiprogrammed Systems: Integrating Priority-Based and Quantum-Based Scheduling.
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 1999
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 1999
1998
Proceedings of the Distributed Computing, 12th International Symposium, 1998
Proportional Share Scheduling of Operating System Services for Real-Time Applications.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 1998
1997
Distributed Comput., 1997
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997
Implementing Hard Real-Time Transactions on Multiprocessors.
Proceedings of the Real-Time Database and Information Systems, 1997
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997
Accuracy assessment of a clinical biplane fluoroscope for three-dimensional measurements and targeting.
Proceedings of the Medical Imaging 1997: Image Display, 1997
A system for percutaneous delivery of treatment with a fluoroscopically-guided robot.
Proceedings of the CVRMed-MRCAS'97, 1997
Proceedings of the CVRMed-MRCAS'97, 1997
1996
A framework for implementing objects and scheduling tasks in lock-free real-time systems.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996
Proceedings of the Online-Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, 1996
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
1995
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995
1994
Proceedings of the Distributed Algorithms, 8th International Workshop, 1994
Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 1994
Using k-Exclusion to Implement Resilient, Scalable Shared Objects (Extended Abstract).
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
1993
Towards a Necessary and Sufficient Condition for Wait-free Synchronization (Extended Abstract).
Proceedings of the Distributed Algorithms, 7th International Workshop, 1993
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993
1992
Sci. Comput. Program., 1992
Proceedings of the Distributed Algorithms, 6th International Workshop, 1992
1991
Pseudo Read-Modify-Write Operations: Bounded Wait-Free Implementations (Extended Abstract).
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991
1988
1987
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987
1967