Nested transactions and read-write locking
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Computer Systems (TOCS)
Concurrency theory will set standards for description and analysis of software
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
On the Borowsky-Gafni simulation algorithm
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Crash failures can drive protocols to arbitrary states
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Maintaining authenticated communication in the presence of break-ins
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Specifying and using a partitionable group communication service
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Towards a topological characterization of asynchronous complexity
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Hardware fault containment in scalable shared-memory multiprocessors
Proceedings of the 24th annual international symposium on Computer architecture
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Team automata for groupware systems
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Implementing sequentially consistent shared objects using broadcast and point-to-point communication
Journal of the ACM (JACM)
An integrated course on parallel and distributed processing
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Asynchronous group mutual exclusion (extended abstract)
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Optimal efficiency of optimistic contract signing
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
The unified structure of consensus: a layered analysis approach
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
A tight lower bound for randomized synchronous consensus
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Consensus numbers of multi-objects
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
A dynamic view-oriented group communication service
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Lower bounds for distributed coin-flipping and randomized consensus
Journal of the ACM (JACM)
Authenticated group key agreement and friends
CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
On the space complexity of randomized synchronization
Journal of the ACM (JACM)
Practical Byzantine fault tolerance
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Bit complexity of breaking and achieving symmetry in chains and rings (extended abstract)
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
A faster distributed algorithm for computing maximal matchings deterministically
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
On k-set consensus problems in asynchronous systems
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Post-mortem black-box correctness tests for basic parallel data structures
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
Distributed algorithms visualisation for educational purposes
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
On the distributed complexity of computing maximal matchings
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Building reliable, high-performance communication systems from components
Proceedings of the seventeenth ACM symposium on Operating systems principles
Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors
Proceedings of the seventeenth ACM symposium on Operating systems principles
A distributed algorithm for the classification of images on a network of workstations
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 2)
Networked simulation with HLA and MODSIM III
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
The topological structure of asynchronous computability
Journal of the ACM (JACM)
The fault span of crash failures
Journal of the ACM (JACM)
From partial consistency to global broadcast
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
An inheritance-based technique for building simulation proofs incrementally
Proceedings of the 22nd international conference on Software engineering
Modelling Asynchrony with a Synchronous Model
Formal Methods in System Design
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Stability of long-lived consensus (extended abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394
Formal Methods in System Design
Composition and integrity preservation of secure reactive systems
Proceedings of the 7th ACM conference on Computer and communications security
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors
IEEE Transactions on Parallel and Distributed Systems
Cellular disco: resource management using virtual clusters on shared-memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
A Randomized Contention-Based Load-Balancing Protocol for a Distributed Multiserver Queuing System
IEEE Transactions on Parallel and Distributed Systems
Data management support for asynchronous groupware
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
On k-Set Consensus Problems in Asynchronous Systems
IEEE Transactions on Parallel and Distributed Systems
Computing in the RAIN: A Reliable Array of Independent Nodes
IEEE Transactions on Parallel and Distributed Systems
An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
Specifying and using a partitionable group communication service
ACM Transactions on Computer Systems (TOCS)
Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures
Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures
Conditions on input vectors for consensus solvability in asynchronous distributed systems
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
The round complexity of verifiable secret sharing and secure multicast
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Real-time protocol analysis for detecting link-state routing protocol attacks
ACM Transactions on Information and System Security (TISSEC)
A hierarchy of conditions for consensus solvability
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
An optimally robust hybrid mix network
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Interactive execution of distributed algorithms
Journal on Educational Resources in Computing (JERIC)
Localized algorithms in wireless ad-hoc networks: location discovery and sensor exposure
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
Improved implementations of binary universal operations
Journal of the ACM (JACM)
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theoretical Computer Science
Distributed probabilistic polling and applications to proportionate agreement
Information and Computation
Distributed query evaluation on semistructured data
ACM Transactions on Database Systems (TODS)
Formal specification and verification of safety and performance of TCP selective acknowledgment
IEEE/ACM Transactions on Networking (TON)
An assume-guarantee rule for checking simulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information and Computation
Leader election protocols for radio networks
Handbook of wireless networks and mobile computing
A java toolkit for teaching distributed algorithms
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Searching games with errors---fifty years of coping with liars
Theoretical Computer Science
Uniform Leader Election Protocols for Radio Networks
IEEE Transactions on Parallel and Distributed Systems
Multi-agent infrastructure, agent discovery , middle agents for Web services and interoperation
Mutli-agents systems and applications
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Practical byzantine fault tolerance and proactive recovery
ACM Transactions on Computer Systems (TOCS)
Space-optimal multi-writer snapshot objects are slow
Proceedings of the twenty-first annual symposium on Principles of distributed computing
The inherent price of indulgence
Proceedings of the twenty-first annual symposium on Principles of distributed computing
On-the-fly calculation and verification of consistent steering transactions
Proceedings of the 2001 ACM/IEEE conference on Supercomputing
An analyzable annotation language
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Alternating-time temporal logic
Journal of the ACM (JACM)
A time-optimal distributed sorting algorithm on a line network
Information Processing Letters
Fast broadcasting and gossiping in radio networks
Journal of Algorithms
A Methodology for Modeling Coordination in Intelligent Agent Societies
Computational & Mathematical Organization Theory
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
Discrete Event Dynamic Systems
On optimization of continuous-time Markov networks in distributed computing
Journal of Global Optimization
Information Processing Letters
A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors
IEEE Transactions on Computers
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
IEEE Transactions on Computers
A Group Membership Algorithm with a Practical Specification
IEEE Transactions on Parallel and Distributed Systems
On Distributed Dynamic Channel Allocation in Mobile Cellular Networks
IEEE Transactions on Parallel and Distributed Systems
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Local majorities, coalitions and monopolies in graphs: a review
Theoretical Computer Science
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
ACM SIGACT News
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
An introduction to oracles for asynchronous distributed systems
Future Generation Computer Systems - Parallel computing technologies (PaCT-2001)
Tolerating transient and intermittent failures
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
A simple proof of the uniform consensus synchronous lower bound
Information Processing Letters
Analysis of an Industrial System
Formal Methods in System Design
Solving Agreement Problems with Weak Ordering Oracles
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
ICCL'98 Workshop on Internet Programming Languages
Open Problems in Data-Sharing Peer-to-Peer Systems
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Survivable Computer Networks in the Presence of Partitioning
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
An Adaptive Compulsory Protocol for Basic Communication in Highly Changing Ad hoc Mobile Networks
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Specifying and verifying a railroad crossing with CafeOBJ
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Dynamically Scaling Computer Networks
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A Condition for k-Set Agreement in Asynchronous Distributed Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A Refinement Theory that Supports Reasoning About Knowledge and Time
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Using BDDs with Combinations of Theories
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
New Perspectives in Distributed Computing
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
On the Problem of Scheduling Flows on Distributed Networks
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
The UDP Calculus: Rigorous Semantics for Real Networking
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
The Congenial Talking Philosophers Problem in Computer Networks (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
Consensus Numbers of Transactional Objects
Proceedings of the 13th International Symposium on Distributed Computing
A Dynamic Primary Configuration Group Communication Service
Proceedings of the 13th International Symposium on Distributed Computing
Lower Bounds in Distributed Computing
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Stabilizing Replicated Search Trees
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
A New Synchronous Lower Bound for Set Agreement
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Distributed Agreement and Its Relation with Error-Correcting Codes
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
Early-Delivery Dynamic Atomic Broadcast
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
On the Stability of Compositions of Universally Stable, Greedy Contention-Resolution Protocols
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
Transformations of Self-Stabilizing Algorithms
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
Failure Detection Lower Bounds on Registers and Consensus
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
Simple Wait-Free Multireader Registers
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Formal Verification of the MCS List-Based Queuing Lock
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Verifying Probabilistic Programs Using a Hoare like Logic
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Targeted Advertising ... And Privacy Too
CT-RSA 2001 Proceedings of the 2001 Conference on Topics in Cryptology: The Cryptographer's Track at RSA
Multi-agent Infrastructure, Agent Discovery, Middle Agents for Web Services and Interoperation
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Distributed Probabilistic Polling and Applications to Proportionate Agreement
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Formal Venture into Reliable Multicast Territory
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Mechanical Translation of I/O Automaton Specifications into First-Order Logic
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
An Assume-Guarantee Rule for Checking Simulation
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Automated Refinement Checking for Asynchronous Processes
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Reasoning about Message Passing in Finite State Environments
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
The Buffer Minimization Problem for Multiprocessor Scheduling with Conflicts
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
The Performance Impact of Advance Reservation Meta-scheduling
IPDPS '00/JSSPP '00 Proceedings of the Workshop on Job Scheduling Strategies for Parallel Processing
Specifications and Proofs for Ensemble Layers
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
From I/O Automata to Timed I/O Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Proving Hybrid Protocols Correct
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Using Simulated Execution in Verifying Distributed Algorithms
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Cryptographically Sound and Machine-Assisted Verification of Security Protocols
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Automated Analysis of Java Message Service Providers
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Computational Probabilistic Non-interference
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Exercises in Coalgebraic Specification
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
``Next'' Heuristic for On-the-Fly Model Checking
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
The Control of Synchronous Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Compositional Performance Analysis Using Probabilistic I/O Automata
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Revisiting Safety and Liveness in the Context of Failures
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Compositional Methods for Probabilistic Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Decidable Class of Asynchronous Distributed Controllers
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Alternating-Time Temporal Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Lockout Avoidance Algorithm without Using Time-Stamps for the k-Exclusion Problem
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Simple Mutual Exclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
On 2-Round Secure Multiparty Computation
CRYPTO '02 Proceedings of the 22nd Annual International Cryptology Conference on Advances in Cryptology
Issues in the Refinement of Distributed Programs
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Distributed Deadlock Detection in Mobile Agent Systems
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Keeping Track of the Latest Gossip in Shared Memory Systems
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Verification of a Leader Election Algorithm in Timed Asynchronous Systems
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Agreement Problems in Fault-Tolerant Distributed Systems
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Beyond the Turing Limit: Evolving Interactive Systems
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Bounding Lamport's Bakery Algorithm
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Rational Exchange - A Formal Model Based on Game Theory
WELCOM '01 Proceedings of the Second International Workshop on Electronic Commerce
Counting in Mobile Networks: Theory and Experimentation
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
An Experimental Study of Basic Communication Protocols in Ad-hoc Mobile Networks
WAE '01 Proceedings of the 5th International Workshop on Algorithm Engineering
Decomposition in Asynchronous Circuit Design
Concurrency and Hardware Design, Advances in Petri Nets
A Heuristic for Symmetry Reductions with Scalarsets
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
VAlloy - Virtual Functions Meet a Relational Language
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verifying Erlang Code: A Resource Locker Case-Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Synchronous and Bidirectional Component Interfaces
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Towards an ASM Thesis for Unconventional Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
How to Model Link Failures: A Perception-Based Fault Model
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Comparing the Efficiency of Asynchronous Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Atomic Data Access in Distributed Hash Tables
IPTPS '01 Revised Papers from the First International Workshop on Peer-to-Peer Systems
Verifying Behavioural Specifications in CafeOBJ Environment
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Customer Coalitions in Electronic Markets
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Exercises in coalgebraic specification
Algebraic and coalgebraic methods in the mathematics of program construction
A Model for Mobile Code Using Interacting Automata
IEEE Transactions on Mobile Computing
Formal analysis of Suzuki & Kasami distributed mutual exclusion algorithm
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A visual modeling framework for distributed object computing
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Randomized two-process wait-free test-and-set
Distributed Computing
The congenial talking philosophers problem in computer networks
Distributed Computing
MST construction in O(log log n) communication rounds
Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures
A tight time lower bound for space-optimal implementations of multi-writer snapshots
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Automated application-level checkpointing of MPI programs
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Distributed communication algorithms for ad hoc mobile networks
Journal of Parallel and Distributed Computing - Special issue on wireless and mobile ad hoc networking and computing
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
I/O Automaton Models and Proofs for Shared-Key Communication Systems
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Polynomial Fairness and Liveness
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
A Formal Analysis of Syverson's Rational Exchange Protocol
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Sense of direction in distributed computing
Theoretical Computer Science - Special issue: Distributed computing
A world-wide distributed system using Java and the Internet
HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Intransitive Non-Interference for Cryptographic Purposes
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Approaching a Formal Definition of Fairness in Electronic Commerce
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Real-Time Fault-Tolerant Atomic Broadcast
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Design and performance of a loop free routing algorithm
ICCC '02 Proceedings of the 15th international conference on Computer communication
Dynamic Module Replacement in Distributed Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Local-spin Mutual Exclusion Using Fetch-and-\phi Primitives
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Distributed algorithm engineering
Experimental algorithmics
An asynchronous complete method for distributed constraint optimization
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Teaching algorithms and data structures: 10 personal observations
Computer Science in Perspective
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Distributed consensus in the presence of sectional faults
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Efficient player-optimal protocols for strong and differential consensus
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Efficient reliable communication over partially authenticated networks
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
Proceedings of the 16th IEEE international conference on Automated software engineering
Shared Variables Interaction Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Developing and Refining an Adaptive Token-Passing Strategy
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Information and Computation
Information and Computation
Strong Minimum Energy Topology in Wireless Sensor Networks: NP-Completeness and Heuristics
IEEE Transactions on Mobile Computing
Stability of long-lived consensus
Journal of Computer and System Sciences
A theorem on grid access control
Journal of Computer Science and Technology - Grid computing
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
Conditions on input vectors for consensus solvability in asynchronous distributed systems
Journal of the ACM (JACM)
An optimal broadcasting schema for multidimensional mesh structures
Proceedings of the 2003 ACM symposium on Applied computing
A Consensus Protocol for CAN-Based Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
A reliable storage management layer for distributed information retrieval systems
CIKM '03 Proceedings of the twelfth international conference on Information and knowledge management
ThreadMentor: a pedagogical tool for multithreaded programming
Journal on Educational Resources in Computing (JERIC)
Proceedings of the 8th annual conference on Innovation and technology in computer science education
Synthesis of fault-tolerant concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exact communication costs for consensus and leader in a tree
Journal of Discrete Algorithms
Cooperative computing with fragmentable and mergeable groups
Journal of Discrete Algorithms
Theoretical Computer Science
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Appraising two decades of distributed computing theory research
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Geometry and concurrency: a user's guide
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
IEEE Transactions on Computers
Virtual trees for the byzantine generals algorithm
Proceedings of the 35th SIGCSE technical symposium on Computer science education
The Information Structure of Indulgent Consensus
IEEE Transactions on Computers
Access control in semantic grid
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Sorting and election in anonymous asynchronous rings
Journal of Parallel and Distributed Computing
On the convergence time of a path-vector protocol
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
DAP: A Generic Platform for the Simulation of Distributed Algorithms
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Collaboration of untrusting peers with changing interests
EC '04 Proceedings of the 5th ACM conference on Electronic commerce
Uniform consensus is harder than consensus
Journal of Algorithms
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems
Proceedings of the 26th International Conference on Software Engineering
Collective asynchronous reading with polylogarithmic worst-case overhead
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
DCAS is not a silver bullet for nonblocking algorithm design
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Optimal early stopping uniform consensus in synchronous systems with process omission failures
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Using eternity variables to specify and prove a serializable database interface
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
IEEE/ACM Transactions on Networking (TON)
Open Systems & Information Dynamics
Journal of VLSI Signal Processing Systems - Special issue on signal processing and neural networks for bioinformatics
Specification faithfulness in networks with rational nodes
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
How fast can a distributed atomic read be?
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Group membership: a novel approach and the first single-round algorithm
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Mobile Networks and Applications
Leader election in rings with nonunique labels
Fundamenta Informaticae
Speedup of Vidyasankar's algorithm for the group k-exclusion problem
Information Processing Letters - Devoted to the rapid publication of short contributions to information processing
Faithfulness in internet algorithms
Proceedings of the ACM SIGCOMM workshop on Practice and theory of incentives in networked systems
Fast non-blocking atomic commit: an inherent trade-off
Information Processing Letters
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols
Distributed Computing
Randomized dining philosophers without fairness assumption
Distributed Computing
Bisimulation on speed: worst-case efficiency
Information and Computation
A distributed algorithm for constructing a minimum diameter spanning tree
Journal of Parallel and Distributed Computing
Application-level checkpointing for shared memory programs
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Proceedings of the 11th ACM conference on Computer and communications security
Integrated system interoperability testing with applications to VoIP
IEEE/ACM Transactions on Networking (TON)
Ubiquitous Tracking for Augmented Reality
ISMAR '04 Proceedings of the 3rd IEEE/ACM International Symposium on Mixed and Augmented Reality
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Distributed Computing
Failure detection and consensus in the crash-recovery model
Distributed Computing
Randomized naming using wait-free shared variables
Distributed Computing
A Decentralized Convergence Detection Algorithm for Asynchronous Parallel Iterative Algorithms
IEEE Transactions on Parallel and Distributed Systems
Worst and Best-Case Coverage in Sensor Networks
IEEE Transactions on Mobile Computing
A linear-time optimal-message distributed algorithm for minimum spanning trees
Distributed Computing
Total order broadcast and multicast algorithms: Taxonomy and survey
ACM Computing Surveys (CSUR)
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Consistent and automatic replica regeneration
ACM Transactions on Storage (TOS)
Asynchronous group mutual exclusion
Distributed Computing
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
IEEE Transactions on Computers
Optimizing Checkpoint Sizes in the C3 System
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
Local Leader Election, Signal Strength Aware Flooding, and Routeless Routing
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 12 - Volume 13
A Proxy-Network Based Overlay Topology Resistant to DoS Attacks and Partitioning
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 16 - Volume 17
Cluster Maintenance in Mobile Ad-hoc Networks
Cluster Computing
Fast quantum byzantine agreement
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Cooperative asynchronous update of shared memory
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Safety assurance via on-line monitoring
Distributed Computing
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
Distributed Computing - Special issue: Verification of lazy caching
Secure distributed human computation
Proceedings of the 6th ACM conference on Electronic commerce
Using n-trees for scalable event ordering in peer-to-peer games
NOSSDAV '05 Proceedings of the international workshop on Network and operating systems support for digital audio and video
Guaranteeing correctness and availability in P2P range indices
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Mutual exclusion in asynchronous systems with failure detectors
Journal of Parallel and Distributed Computing
Deadlock-free multicasting in irregular networks using prefix routing
The Journal of Supercomputing
Fast fault-tolerant agreement algorithms
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Consensus and collision detectors in wireless Ad Hoc networks
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Reliable broadcast in unknown fixed-identity networks
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Concurrent cache-oblivious b-trees
Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures
Encyclopedia of Computer Science
A new distributed QoS routing algorithm based on Fano's method
Computer Networks and ISDN Systems
Quantitative analysis of distributed randomized protocols
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Using local-spin k-exclusion algorithms to improve wait-free object implementations
Distributed Computing
Stenning's protocol implemented in UDP and verified in Isabelle
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
A decentralized variable ordering method for distributed constraint optimization
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Automated Analysis of Fault-Tolerance in Distributed Systems
Formal Methods in System Design
Measuring the performance of asynchronous systems with PAFAS
Theoretical Computer Science - Process algebra
Self-stabilizing coloration in anonymous planar networks
Information Processing Letters
Wait-free computing: an introductory lecture
Future Generation Computer Systems - Special issue: Parallel computing technologies
Modularity for teams of I/O automata
Information Processing Letters
On the security of group communication schemes based on symmetric key cryptosystems
Proceedings of the 3rd ACM workshop on Security of ad hoc and sensor networks
A bivalency proof of the lower bound for uniform consensus
Information Processing Letters
The distributed breakout algorithms
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Adopt: asynchronous distributed constraint optimization with quality guarantees
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Improving OSPF Dynamics on a Broadcast LAN
Simulation
Time-space tradeoffs for implementations of snapshots
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
Optimal decision strategies in Byzantine environments
Journal of Parallel and Distributed Computing
Concurrent search for distributed CSPs
Artificial Intelligence
Proactive resilience through architectural hybridization
Proceedings of the 2006 ACM symposium on Applied computing
LSRP: local stabilization in shortest path routing
IEEE/ACM Transactions on Networking (TON)
Efficient reliable communication over partially authenticated networks
Distributed Computing - Special issue: PODC 02
Lock-free dynamic hash tables with open addressing
Distributed Computing - Special issue: PODC 02
The inherent price of indulgence
Distributed Computing - Special issue: PODC 02
Adversarial queuing on the multiple-access channel
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
Single-scanner multi-writer snapshot implementations are fast!
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
Efficient parallel algorithms for dead sensor diagnosis and multiple access channels
Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures
Fault-tolerant semifast implementations of atomic read/write registers
Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures
Fairness of components in system computations
Theoretical Computer Science - Expressiveness in concurrency
Low complexity Byzantine-resilient consensus
Distributed Computing
Computing Aviation Sparing Policies: Solving a Large Nonlinear Integer Program
Computational Optimization and Applications
Centralized and Distributed Multi-view Correspondence
International Journal of Computer Vision
Fast Convergence in Self-Stabilizing Wireless Networks
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Cyclic Storage for Fault-Tolerant Distributed Executions
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Mobile Computing
GeoQuorums: implementing atomic memory in mobile ad hoc networks
Distributed Computing - Special issue: DISC 03
On the importance of having an identity or, is consensus really universal?
Distributed Computing - Special issue: DISC 04
Light-weight leases for storage-centric coordination
International Journal of Parallel Programming
Distributed navigation in an unknown physical environment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
No-commitment branch and bound search for distributed constraint optimization
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Coverage and connectivity in three-dimensional networks
Proceedings of the 12th annual international conference on Mobile computing and networking
Algebraic topology and concurrency
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Simulation analysis of virtual geographic routing
WSC '04 Proceedings of the 36th conference on Winter simulation
Routing protocols for efficient communication in wireless ad-hoc networks
Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks
A mobility sensitive approach for efficient routing in ad hoc mobile networks
Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems
Bisimulation on speed: a unified approach
Theoretical Computer Science
Computer science students' difficulties with proofs by induction: an exploratory study
Proceedings of the 44th annual Southeast regional conference
Specifying memory consistency of write buffer multiprocessors
ACM Transactions on Computer Systems (TOCS)
Provenance in Agent-Mediated Healthcare Systems
IEEE Intelligent Systems
Bridging the Gap between Simulation and Experimental Evaluation in Computer Networks
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
A high performance backoff protocol for fast execution of composite web services
Computers and Industrial Engineering - Special issue: Computational intelligence and information technology applications to industrial engineering selected papers from the 33 rd ICC&IE
Lock-free parallel and concurrent garbage collection by mark&sweep
Science of Computer Programming
A tight bound on remote reference time complexity of mutual exclusion in the read-modify-write model
Journal of Parallel and Distributed Computing
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Local Computations in Graphs: The Case of Cellular Edge Local Computations
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
How to safely close a discussion
Information Processing Letters
Asynchronous Forward-checking for DisCSPs
Constraints
Distributed dynamic processor allocation for multicomputers
Parallel Computing
LYDIAN: An extensible educational animation environment for distributed algorithms
Journal on Educational Resources in Computing (JERIC)
Distributed consensus and linear functional calculation in networks: an observability perspective
Proceedings of the 6th international conference on Information processing in sensor networks
Cost distribution of the Chang-Roberts leader election algorithm and related problems
Theoretical Computer Science
Specifying and using intrusion masking models to process distributed operations
Journal of Computer Security
Transformations of self-stabilizing algorithms
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Team automata for spatial access control
ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work
SQUARE: scalable quorum-based atomic memory with local reconfiguration
Proceedings of the 2007 ACM symposium on Applied computing
A framework for CORBA interoperability in ad hoc networks
Proceedings of the 2007 ACM symposium on Applied computing
Bounded Model Checking with Parametric Data Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Mace: language support for building distributed systems
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Tight bounds for asynchronous randomized consensus
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Consistent and automatic replica regeneration
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Timeline: a high performance archive for a distributed object store
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems
IEEE Transactions on Parallel and Distributed Systems
An Adaptive Programming Model for Fault-Tolerant Distributed Computing
IEEE Transactions on Dependable and Secure Computing
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
On adding replies to publish-subscribe
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Individual communication complexity
Journal of Computer and System Sciences
Prototype Platforms for Distributed Agreements
Electronic Notes in Theoretical Computer Science (ENTCS)
Q-Automata: Modelling the Resource Usage of Concurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Self Management and the Future of Software Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Asynchronous Agreement and Its Relation with Error-Correcting Codes
IEEE Transactions on Computers
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks
IEEE Transactions on Computers
Preserving data privacy in outsourcing data aggregation services
ACM Transactions on Internet Technology (TOIT) - Special Issue on the Internet and Outsourcing
Derivation of a Scalable Lock-Free Stack Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Using group selection to evolve leadership in populations of self-replicating digital organisms
Proceedings of the 9th annual conference on Genetic and evolutionary computation
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Improved sparse covers for graphs excluding a fixed minor
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Efficient fork-linearizable access to untrusted shared memory
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Tolerating corrupted communication
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
A formal treatment of an abstract channel implementation using java sockets and TCP
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem
ACM SIGSOFT Software Engineering Notes
Information and Computation
Centralized asynchronous broadcast in radio networks
Theoretical Computer Science
Long-lived Rambo: Trading knowledge for communication
Theoretical Computer Science
Two absolute bounds for distributed bit complexity
Theoretical Computer Science
McErlang: a model checker for a distributed functional programming language
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Asynchronous distributed averaging on communication networks
IEEE/ACM Transactions on Networking (TON)
A formal model of rational exchange and its application to the analysis of Syverson's protocol
Journal of Computer Security - Special issue on CSFW15
Journal of Computer Security - Special issue on CSFW15
A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock
IEEE Transactions on Dependable and Secure Computing
Time lower bounds for implementations of multi-writer snapshots
Journal of the ACM (JACM)
The reactive simulatability (RSIM) framework for asynchronous systems
Information and Computation
Tutorial on separation results in process calculi via leader election problems
Theoretical Computer Science
Queries and updates in the coDB peer to peer database system
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
A mobility aware protocol synthesis for efficient routing in ad hoc mobile networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Bit complexity of breaking and achieving symmetry in chains and rings
Journal of the ACM (JACM)
Symmetric electoral systems for ambient calculi
Information and Computation
Gathering asynchronous oblivious mobile robots in a ring
Theoretical Computer Science
Extensible encoding of type hierarchies
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The collective memory of amnesic processes
ACM Transactions on Algorithms (TALG)
A unified framework for multi-agent agreement
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Deriving agent-centred representations of protocols described using propositional statecharts
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Modelling the provenance of data in autonomous systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On the interconnection of message passing systems
Information Processing Letters
A challenge for atomicity verification
Science of Computer Programming
Trace-based Derivation of a Lock-Free Queue Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
A conceptual approach to teaching induction for computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic (TOCL)
Minimal broadcasting schemas for the mesh structures
International Journal of High Performance Computing and Networking
Message and time efficient consensus protocols for synchronous distributed systems
Journal of Parallel and Distributed Computing
Modal Expressiveness of Graph Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Improved Decomposition of Signal Transition Graphs
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
An Efficient Message Passing Election Algorithm based on Mazurkiewicz's Algorithm
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Impact of Asynchrony on the Behavior of Rational Selfish Agents
Fundamenta Informaticae
On the security of group communication schemes
Journal of Computer Security - Special Issue on Security of Ad-hoc and Sensor Networks
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
The gap in circumventing the impossibility of consensus
Journal of Computer and System Sciences
Using asynchrony and zero degradation to speed up indulgent consensus protocols
Journal of Parallel and Distributed Computing
Verifying Michael and Scott's lock-free queue algorithm using trace reduction
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
ACM Transactions on Sensor Networks (TOSN)
OCD: obsessive consensus disorder (or repetitive consensus)
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
Anytime local search for distributed constraint optimization
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Strategyproof deterministic lotteries under broadcast communication
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Shared focus of attention for heterogeneous agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Tight bounds for asynchronous randomized consensus
Journal of the ACM (JACM)
Space efficient and time optimal distributed BFS tree construction
Information Processing Letters
Agreement and consistency without knowing the number of processes
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Agreement without knowing everybody: a first step to dynamicity
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning
Model Checking and Artificial Intelligence
A Leader Election Algorithm Within Candidates on Ad Hoc Mobile Networks
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
The Scalability of an Environment for Large-Scale Sensor-Networks
Massively Multi-Agent Technology
Verification of a Hierarchical Generic Mutual Exclusion Algorithm
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On the Asynchronous Nature of the Asynchronous Π-Calculus
Concurrency, Graphs and Models
Placement Inference for a Client-Server Calculus
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Fair Exchange Is Incomparable to Consensus
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
On Synchronous and Asynchronous Interaction in Distributed Systems
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Deterministic Models of Communication Faults
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
A Scalable and Oblivious Atomicity Assertion
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Convergence Verification: From Shared Memory to Partially Synchronous Systems
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Local Terminations and Distributed Computability in Anonymous Networks
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
Constant-Space Localized Byzantine Consensus
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
Optimistic Erasure-Coded Distributed Storage
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
On the Robustness of (Semi) Fast Quorum-Based Implementations of Atomic Shared Memory
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
Event order abstraction for parametric real-time system verification
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
State space abstraction for parameterized self-stabilizing embedded systems
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
A general characterization of indulgence
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Using model checkers in an introductory course on operating systems
ACM SIGOPS Operating Systems Review
Proceedings of the 11th international symposium on Modeling, analysis and simulation of wireless and mobile systems
CPO semantics of timed interactive actor networks
Theoretical Computer Science
An efficient distributed algorithm for canonical labeling on directed split-stars
Discrete Applied Mathematics
A model of process documentation to determine provenance in mash-ups
ACM Transactions on Internet Technology (TOIT)
Optimal message-driven implementations of omega with mute processes
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Acknowledged broadcasting in ad hoc radio networks
Information Processing Letters
Distributed media rate allocation in multipath networks
Image Communication
Fault-tolerant semifast implementations of atomic read/write registers
Journal of Parallel and Distributed Computing
Reconfigurable distributed storage for dynamic networks
Journal of Parallel and Distributed Computing
Verifying distributed systems: the operational approach
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Local Synchronization on Oriented Rings
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects
Taking Advantage of Symmetries: Gathering of Asynchronous Oblivious Robots on a Ring
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
A topological treatment of early-deciding set-agreement
Theoretical Computer Science
Towards a real-time distributed computing model
Theoretical Computer Science
Gossiping by processors prone to omission failures
Information Processing Letters
Fork sequential consistency is blocking
Information Processing Letters
Developing Topology Discovery in Event-B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Low-coordination wake-up algorithms for multiple connected-covered topologies in sensor nets
International Journal of Sensor Networks
Leader election algorithm using heap structure
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Negotiation Model Supporting Co-Allocation for Grid Scheduling
GRID '06 Proceedings of the 7th IEEE/ACM International Conference on Grid Computing
Revisiting simultaneous consensus with crash failures
Journal of Parallel and Distributed Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
The Complexity of Early Deciding Set Agreement: How can Topology help?
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance Consensus Problem of Multi-Agent Systems with Multiple State Variables
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
On the practical importance of communication complexity for secure multi-party computation protocols
Proceedings of the 2009 ACM symposium on Applied Computing
Defining weakly consistent Byzantine fault-tolerant services
LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware
Temporal Verification of Fault-Tolerant Protocols
Methods, Models and Tools for Fault Tolerance
Using SOA Provenance to Implement Norm Enforcement in e-Institutions
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Classifying rendezvous tasks of arbitrary dimension
Theoretical Computer Science
Two Consensus Algorithms with Atomic Registers and Failure Detector Ω
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Byzantine-Resilient Convergence in Oblivious Robot Networks
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Distributed Tree Rearrangements for Reachability and Robust Connectivity
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Classes and inheritance in actor-oriented design
ACM Transactions on Embedded Computing Systems (TECS)
Self-stabilization preserving compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
On private computation in incomplete networks
Distributed Computing
Open-source grid technologies for web-scale computing
ACM SIGACT News
Global data computation in chordal rings
Journal of Parallel and Distributed Computing
Fault-tolerant aggregator election and data aggregation in wireless sensor networks
International Journal of Communication Networks and Distributed Systems
TrInc: small trusted hardware for large distributed systems
NSDI'09 Proceedings of the 6th USENIX symposium on Networked systems design and implementation
Asynchronous Forward-Bounding for Distributed Constraints Optimization
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Fault-Tolerant Aggregation by Flow Updating
DAIS '09 Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Leader Election in Ad Hoc Radio Networks: A Keen Ear Helps
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Simple and efficient asynchronous byzantine agreement with optimal resilience
Proceedings of the 28th ACM symposium on Principles of distributed computing
Brief announcement: global consistency can be easier than point-to-point communication
Proceedings of the 28th ACM symposium on Principles of distributed computing
Proceedings of the 28th ACM symposium on Principles of distributed computing
At-most-once semantics in asynchronous shared memory
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Gradient clock synchronization in dynamic networks
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Induction as a tool for conceptual coherence in computer science
Proceedings of the 46th Annual Southeast Regional Conference on XX
A Logical Approach to Hamiltonian Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Robust execution of contingent, temporally flexible plans
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Diagnosis of multi-robot coordination failures using distributed CSP algorithms
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Light-Weight SMT-based Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Model--Driven Design of Distributed Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Distributed Motion Constraints for Algebraic Connectivity of Robotic Networks
Journal of Intelligent and Robotic Systems
The PlusCal Algorithm Language
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Anytime local search for distributed constraint optimization
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Asynchronous forward bounding for distributed COPs
Journal of Artificial Intelligence Research
Informationally decentralized system resource management for multiple multimedia tasks
IEEE Transactions on Circuits and Systems for Video Technology
Continual planning and acting in dynamic multiagent environments
Autonomous Agents and Multi-Agent Systems
Is VAT really single linkage in disguise?
Annals of Mathematics and Artificial Intelligence
The distributed breakout algorithms
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Adopt: asynchronous distributed constraint optimization with quality guarantees
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Concurrent search for distributed CSPs
Artificial Intelligence
Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound
Theoretical Computer Science
A new distributed QoS routing algorithm based on Fano's method
Computer Networks: The International Journal of Computer and Telecommunications Networking
Developing topology discovery in Event-B
Science of Computer Programming
Accelerated distributed average consensus via localized node state prediction
IEEE Transactions on Signal Processing
Broadcast gossip algorithms for consensus
IEEE Transactions on Signal Processing
Multithreaded java program test generation
IBM Systems Journal
Dynamic configuration of agent organizations
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Equilibria and convergence of auctions on networks
GameNets'09 Proceedings of the First ICST international conference on Game Theory for Networks
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Model Checking Linearizability via Refinement
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Enhanced Fault-Tolerance through Byzantine Failure Detection
OPODIS '09 Proceedings of the 13th International Conference on Principles of Distributed Systems
On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory
OPODIS '09 Proceedings of the 13th International Conference on Principles of Distributed Systems
Influence of Social Networks on Recovering Large Scale Distributed Systems
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
Real deployment of consensus algorithm on self-organized wireless sensor networks
ICT'09 Proceedings of the 16th international conference on Telecommunications
On quantized consensus by means of gossip algorithm: part i: convergence proof
ACC'09 Proceedings of the 2009 conference on American Control Conference
A distributed deterministic annealing algorithm for limited-range sensor coverage
ACC'09 Proceedings of the 2009 conference on American Control Conference
ACC'09 Proceedings of the 2009 conference on American Control Conference
Output agreement in high-dimensional multi-agent systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
On quantized consensus by means of gossip algorithm: part ii: convergence time
ACC'09 Proceedings of the 2009 conference on American Control Conference
Structural controllability of multi-agent systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Distributed decision making for task switching via a consensus-like algorithm
ACC'09 Proceedings of the 2009 conference on American Control Conference
Experiments with a ZigBee wireless communication system for self-reconfiguring modular robots
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Verifying Concurrent Data Structures by Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Deductive Runtime Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
PVS Strategies for Proving Abstraction Properties of Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling A Certified Email Protocol using I/O Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Connector Colouring I: Synchronisation and Context Dependency
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Graph Traversals by Relabelling Systems with Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Turing machines, transition systems, and interaction
Information and Computation
Self-stabilizing coloration in anonymous planar networks
Information Processing Letters
Modularity for teams of I/O automata
Information Processing Letters
A bivalency proof of the lower bound for uniform consensus
Information Processing Letters
New approaches for distributed sensor networks consensus in the presence of communication time delay
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Partially dynamic efficient algorithms for distributed shortest paths
Theoretical Computer Science
The baffling CS notions of "as-if" and "don't-care"
Proceedings of the 41st ACM technical symposium on Computer science education
Asymptotic optimality of running consensus in testing binary hypotheses
IEEE Transactions on Signal Processing
Average consensus based scalable robust filtering for sensor network
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Adaptive fast consensus algorithm for distributed sensor fusion
Signal Processing
Calibrating embedded protocols on asynchronous systems
Information Sciences: an International Journal
Efficiency of asynchronous systems that communicate asynchronously
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Boom analytics: exploring data-centric, declarative programming for the cloud
Proceedings of the 5th European conference on Computer systems
Group mutual exclusion algorithms based on ticket orders
COCOON'03 Proceedings of the 9th annual international conference on Computing and combinatorics
Parallel SAT solving in bounded model checking
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
A general characterization of indulgence
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing pulse synchronization inspired by biological pacemaker networks
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
An improved snap-stabilizing PIF algorithm
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Security in business process engineering
BPM'03 Proceedings of the 2003 international conference on Business process management
A fault tolerance bisimulation proof for consensus
ESOP'07 Proceedings of the 16th European conference on Programming
Formal analysis of the iKP electronic payment protocols
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Decidability of invariant validation for paramaterized systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Verification and improvement of the sliding window protocol
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Organizing a global coordinate system from local information on an ad hoc sensor network
IPSN'03 Proceedings of the 2nd international conference on Information processing in sensor networks
Efficient and fault-tolerant feature extraction in wireless sensor networks
IPSN'03 Proceedings of the 2nd international conference on Information processing in sensor networks
Revisiting the impossibility for boosting service resilience
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
An experimental study of stability in heterogeneous networks
WEA'07 Proceedings of the 6th international conference on Experimental algorithms
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Directed evolution of communication and cooperation in digital organisms
ECAL'07 Proceedings of the 9th European conference on Advances in artificial life
Min-domain ordering for asynchronous backtracking
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Fast, flexible, and highly resilient genuine fifo and causal multicast algorithms
Proceedings of the 2010 ACM Symposium on Applied Computing
Measurement techniques for multiagent systems
PerMIS '08 Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems
Calculating and composing progress properties in terms of the leads-to relation
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
From algebraic graph transformation to adhesive HLR categories and systems
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Rebeca: theory, applications, and tools
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
On distributed real-time scheduling in networked embedded systems in the presence of crash failures
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Assertion-based proof checking of chang-roberts leader election in PVS
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Formal modeling and verification of high-availability protocol for network security appliances
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Consensus-driven distributable thread scheduling in networked embedded systems
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Wooki: a P2P wiki-based collaborative writing tool
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Distributed computation of maximum lifetime spanning subgraphs in sensor networks
MSN'07 Proceedings of the 3rd international conference on Mobile ad-hoc and sensor networks
A formal analysis of the deferred update technique
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Deterministic leader election in anonymous sensor networks without common coordinated system
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Timed quorum systems for large-scale and dynamic environments
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Modular formalization of reactive modules in COQ
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Distributed admission control for heterogeneous multicast with bandwidth guarantees
IWQoS'03 Proceedings of the 11th international conference on Quality of service
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Stability of the multiple-access channel under maximum broadcast loads
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Byzantine self-stabilizing pulse in a bounded-delay model
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
On the probabilistic omission adversary
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
A model of onion routing with provable anonymity
FC'07/USEC'07 Proceedings of the 11th International Conference on Financial cryptography and 1st International conference on Usable Security
Asynchronous inter-level forward-checking for DisCSPs
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Operational reasoning for concurrent caml programs and weak memory models
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
On verifying fault tolerance of distributed protocols
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
A reduced complexity design pattern for distributed hierarchical command and control system
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
ACM Transactions on Algorithms (TALG)
The cost of probabilistic agreement in oblivious robot networks
Information Processing Letters
From ASN.1 into CafeOBJ: Some First Steps
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Distributed computation in dynamic networks
Proceedings of the forty-second ACM symposium on Theory of computing
Criteria for the evaluation of self-* systems
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Future directions in distributed computing
Modeling complexity in secure distributed computing
Future directions in distributed computing
Brief announcement: byzantine agreement with homonyms
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Randomization can be a healer: consensus with dynamic omission failures
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Help when needed, but no more: efficient read/write partial snapshot
DISC'09 Proceedings of the 23rd international conference on Distributed computing
What can be observed locally? round-based models for quantum distributed computing
DISC'09 Proceedings of the 23rd international conference on Distributed computing
At-most-once semantics in asynchronous shared memory
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Nonblocking algorithms and backward simulation
DISC'09 Proceedings of the 23rd international conference on Distributed computing
The price of anonymity: optimal consensus despite asynchrony, crash and anonymity
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Brief announcement: a leader-free byzantine consensus algorithm
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Consensus and mutual exclusion in a multiple access channel
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Throughput optimal total order broadcast for cluster environments
ACM Transactions on Computer Systems (TOCS)
Distributed testing and diagnosis in a mobile computing environment
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
Towards efficient designs for in-network computing with noisy wireless channels
INFOCOM'10 Proceedings of the 29th conference on Information communications
Google PageRanking problem: The model and the analysis
Journal of Computational and Applied Mathematics
The multiplicative power of consensus numbers
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
On asymmetric progress conditions
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Efficient distributed random walks with applications
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
On events in multi-robot patrol in adversarial environments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 2 - Volume 2
Dominating sets of agents in visibility graphs: distributed algorithms for art gallery problems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Laplacian-based consensus on spatial computers
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
The impact of dynamic adversarial attacks on the stability of heterogeneous multimedia networks
Computer Communications
Adaptive broadcast by fault-tolerant spanning tree switching
Journal of Parallel and Distributed Computing
Probabilistic quorum systems in wireless Ad Hoc networks
ACM Transactions on Computer Systems (TOCS)
Note: Strong order-preserving renaming in the synchronous message passing model
Theoretical Computer Science
When consensus meets self-stabilization
Journal of Computer and System Sciences
Convergence of consensus models with stochastic disturbances
IEEE Transactions on Information Theory
Simpler backward simulation proofs
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Chain replication in theory and in practice
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Performance study of a wireless dynamic topology over high mobility conditions
CIT'10 Proceedings of the 4th international conference on Communications and information technology
Highly-fair bakery algorithm using symmetric tokens
Information Processing Letters
Decentralized querying of topological relations between regions without using localization
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
Cluster-based distributed face tracking in camera networks
IEEE Transactions on Image Processing - Special section on distributed camera networks: sensing, processing, communication, and implementation
Tracking and activity recognition through consensus in distributed camera networks
IEEE Transactions on Image Processing - Special section on distributed camera networks: sensing, processing, communication, and implementation
Distributed agreement with optimal communication complexity
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Application of TLRO to dining philosophers problem
ACM SIGSOFT Software Engineering Notes
Meta-simulation of large WSN on multi-core computers
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
An analysis of the Ariane 5 flight 501 failure - a system engineering perspective
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Secure multiparty computation with minimal interaction
CRYPTO'10 Proceedings of the 30th annual conference on Advances in cryptology
Algorithms and theory of computation handbook
Theory of communication networks
Algorithms and theory of computation handbook
Basic notions in computational complexity
Algorithms and theory of computation handbook
Distributed computing: a Glimmer of a theory
Algorithms and theory of computation handbook
Communication optimal multi-valued asynchronous broadcast protocol
LATINCRYPT'10 Proceedings of the First international conference on Progress in cryptology: cryptology and information security in Latin America
UC'10 Proceedings of the 9th international conference on Unconventional computation
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
The x-wait-freedom progress condition
EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
Qualitative change to 3-valued regions
GIScience'10 Proceedings of the 6th international conference on Geographic information science
Fast asynchronous consensus with optimal resilience
DISC'10 Proceedings of the 24th international conference on Distributed computing
DISC'10 Proceedings of the 24th international conference on Distributed computing
Integration: reaching consensus in low-diameter wireless networks
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Chedar: peer-to-peer middleware
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Recent advances in checkpoint/recovery systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Distributed algorithm for a color assignment on asynchronous rings
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
An authentication protocol in web-computing
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Database replication: a tale of research across communities
Proceedings of the VLDB Endowment
Systematic correct construction of self-stabilizing systems: a case study
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
A fault-resistant asynchronous clock function
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
The distributed wireless gathering problem
Theoretical Computer Science
On the automated implementation of time-based paxos using the IOA compiler
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Dynamic atomic storage without consensus
Journal of the ACM (JACM)
A faster P solution for the Byzantine agreement problem
CMC'10 Proceedings of the 11th international conference on Membrane computing
A necessary and sufficient synchrony condition for solving Byzantine consensus in symmetric networks
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
Distributed multi-camera visual mapping using topological maps of planar regions
Pattern Recognition
Formal specification and analysis of zeroconf using uppaalS
ACM Transactions on Embedded Computing Systems (TECS)
A course in advanced operating systems using MPI for projects
Journal of Computing Sciences in Colleges
Consensus in networked multi-agent systems with adversaries
Proceedings of the 14th international conference on Hybrid systems: computation and control
Reputation-based networked control with data-corrupting channels
Proceedings of the 14th international conference on Hybrid systems: computation and control
The impossibility of boosting distributed service resilience
Information and Computation
Paxos replicated state machines as the basis of a high-performance data store
Proceedings of the 8th USENIX conference on Networked systems design and implementation
WiDS checker: combating bugs in distributed systems
NSDI'07 Proceedings of the 4th USENIX conference on Networked systems design & implementation
Complexity of fairness constraints for the Dolev-Yao attacker model
Proceedings of the 2011 ACM Symposium on Applied Computing
A high-level language for modeling algorithms and their properties
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
A trace-based view on operating guidelines
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
A comparison of three algorithms for approximating the distance distribution in real-world graphs
TAPAS'11 Proceedings of the First international ICST conference on Theory and practice of algorithms in (computer) systems
An interface theory for service-oriented design
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
FlashMob: distributed adaptive self-assembly
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Stabilizing consensus with the power of two choices
Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures
Distributed verification and hardness of distributed approximation
Proceedings of the forty-third annual ACM symposium on Theory of computing
The complexity of robust atomic storage
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Easy impossibility proofs for k-set agreement in message passing systems
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Solving the at-most-once problem with nearly optimal effectiveness
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Secure message transmission in asynchronous networks
Journal of Parallel and Distributed Computing
Hybrid logics and NP graph properties
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Communication optimal multi-valued asynchronous byzantine agreement with optimal resilience
ICITS'11 Proceedings of the 5th international conference on Information theoretic security
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Information Processing Letters
The computational power of the W And GHZ States
Quantum Information & Computation
Quantum Information & Computation
On communication complexity of secure message transmission in directed networks
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
A leader-free Byzantine consensus algorithm
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
Authenticated Byzantine generals in dual failure model
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash, and Anonymity
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Verifying linearisability with potential linearisation points
FM'11 Proceedings of the 17th international conference on Formal methods
BFS solution for disjoint paths in P systems
UC'11 Proceedings of the 10th international conference on Unconventional computation
A framework for verifying data-centric protocols
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Synchronous consensus under hybrid process and link failures
Theoretical Computer Science
Some problems in distributed computational geometry
Theoretical Computer Science
Consensus vs. broadcast in communication networks with arbitrary mobile omission faults
SIROCCO'11 Proceedings of the 18th international conference on Structural information and communication complexity
Reconciling fault-tolerant distributed algorithms and real-time computing
SIROCCO'11 Proceedings of the 18th international conference on Structural information and communication complexity
On the performance of a retransmission-based synchronizer
SIROCCO'11 Proceedings of the 18th international conference on Structural information and communication complexity
From boolean to quantitative synthesis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
SMA: the smyle modeling approach
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Transactional storage for geo-replicated systems
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Formal verification of consensus algorithms tolerating malicious faults
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Price stabilization in networks: what is an appropriate model?
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Analysis of DSR protocol in event-B
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Help when needed, but no more: Efficient read/write partial snapshot
Journal of Parallel and Distributed Computing
Secure random number generation in wireless sensor networks
Proceedings of the 4th international conference on Security of information and networks
Adversarial Queuing on the Multiple Access Channel
ACM Transactions on Algorithms (TALG)
Mathematical models of object-based distributed systems
Formal modeling
Locality and checkability in wait-free computing
DISC'11 Proceedings of the 25th international conference on Distributed computing
Byzantine agreement using partial authentication
DISC'11 Proceedings of the 25th international conference on Distributed computing
Developing a consensus algorithm using stepwise refinement
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Fast Access to Distributed Atomic Memory
SIAM Journal on Computing
The Complexity of Early Deciding Set Agreement
SIAM Journal on Computing
SIAM Journal on Computing
When consensus meets self-stabilization
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Optimal clock synchronization revisited: upper and lower bounds in real-time systems
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Verification techniques for distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
The complexity of updating multi-writer snapshot objects
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Separation results via leader election problems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Towards robust and efficient computation in dynamic peer-to-peer networks
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Invisible safety of distributed protocols
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
Approximate top-k queries in sensor networks
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
Labeling schemes for tree representation
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Lock-Free parallel garbage collection
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
Energy usage in biomimetic models for massively-deployed sensor networks
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
Requirements for secure logging of decentralized cross-organizational workflow executions
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Self-stabilization with r-operators revisited
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Self-stabilization preserving compiler
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Towards automatic convergence verification of self-stabilizing algorithms
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Translating timed i/o automata specifications for theorem proving in PVS
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Model checking the time to reach agreement
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Performance of pipelined asynchronous systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Simple distributed algorithms for approximating minimum steiner trees
COCOON'05 Proceedings of the 11th annual international conference on Computing and Combinatorics
Group communication: from practice to theory
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
LATIN'10 Proceedings of the 9th Latin American conference on Theoretical Informatics
QoSRHMM: a QoS-aware ring-based hierarchical multi-path multicast routing protocol
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
A novel checkpoint mechanism based on job progress description for computational grid
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Programming an amorphous computational medium
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Heterogenous networks can be unstable at arbitrarily low injection rates
CIAC'06 Proceedings of the 6th Italian conference on Algorithms and Complexity
A practical single-register wait-free mutual exclusion algorithm on asynchronous networks
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Ticc: a tool for interface compatibility and composition
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Formal verification of a lazy concurrent list-based set algorithm
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Renaming in message passing systems with byzantine failures
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Fault-tolerant and self-stabilizing mobile robots gathering
DISC'06 Proceedings of the 20th international conference on Distributed Computing
A new proof of the GHS minimum spanning tree algorithm
DISC'06 Proceedings of the 20th international conference on Distributed Computing
A knowledge-based analysis of global function computation
DISC'06 Proceedings of the 20th international conference on Distributed Computing
MMAS'04 Proceedings of the First international conference on Massively Multi-Agent Systems
Consensus control for networks of dynamic agents via active switching topology
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III
Overview on decentralized establishment of multi-lateral collaborations
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
Exact quantum algorithms for the leader election problem
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Exact Quantum Algorithms for the Leader Election Problem
ACM Transactions on Computation Theory (TOCT)
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
On correctness of dynamic protocol update
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Termination properties of TCP's connection management procedures
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Invited contribution: sociable interfaces
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Model checking probabilistic systems against pushdown specifications
Information Processing Letters
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Early-stopping k-set agreement in synchronous systems prone to any number of process crashes
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Gracefully degrading fair exchange with security modules
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
A simple randomized k-local election algorithm for local computations
WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms
Proving positive almost-sure termination
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
On private computation in incomplete networks
SIROCCO'05 Proceedings of the 12th international conference on Structural Information and Communication Complexity
Two absolute bounds for distributed bit complexity
SIROCCO'05 Proceedings of the 12th international conference on Structural Information and Communication Complexity
An improved algorithm for adaptive condition-based consensus
SIROCCO'05 Proceedings of the 12th international conference on Structural Information and Communication Complexity
Proof-based system engineering using a virtual system model
ISAS'05 Proceedings of the Second international conference on Service Availability
Quantifying probabilistic information flow in computational reactive systems
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
A refactoring method for cache-efficient swarm intelligence algorithms
Information Sciences: an International Journal
Wireless distributed computing in cognitive radio networks
Ad Hoc Networks
Proving atomicity: an assertional approach
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Causing communication closure: safe program composition with Non-FIFO channels
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Thread allocation protocols for distributed real-time and embedded systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Verifying fault-tolerant distributed systems using object-based graph grammars
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Stable predicate detection in dynamic systems
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Reconfigurable distributed storage for dynamic networks
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
FM'06 Proceedings of the 14th international conference on Formal Methods
FM'06 Proceedings of the 14th international conference on Formal Methods
Dependable Systems
Rigorous design of fault-tolerant transactions for replicated database systems using event b
Rigorous Development of Complex Fault-Tolerant Systems
Request-based token passing for self-stabilizing mutual exclusion
Information Sciences: an International Journal
State space reduction of rewrite theories using invisible transitions
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Designing old and new distributed algorithms by replaying an incremental proof-based development
Rigorous Methods for Software Construction and Analysis
Gathering asynchronous oblivious mobile robots in a ring
ISAAC'06 Proceedings of the 17th international conference on Algorithms and Computation
Distributed node-based transmission power control for wireless ad hoc networks
ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology
An optimal bit complexity randomized distributed MIS algorithm (extended abstract)
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
Discovering the membrane topology of hyperdag p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Formal reasoning about software object translations
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Divide and concur: employing chandra and toueg's consensus algorithm in a multi-level setting
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
The committee decision problem
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Error-free multi-valued broadcast and byzantine agreement with optimal communication complexity
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Communication complexity of consensus in anonymous message passing systems
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Fork-Consistent constructions from registers
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Easy impossibility proofs for k-set agreement in message passing systems
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Byzantine agreement with homonyms in synchronous systems
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Solving the at-most-once problem with nearly optimal effectiveness
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
On the implementation of concurrent objects
Dependable and Historic Computing
Consensus of multi-agent networks in the presence of adversaries using only local information
Proceedings of the 1st international conference on High Confidence Networked Systems
Low complexity resilient consensus in networked multi-agent systems with adversaries
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
What kinds of applications can benefit from transactional memory?
ISCA'10 Proceedings of the 2010 international conference on Computer Architecture
Distributed graph pattern matching
Proceedings of the 21st international conference on World Wide Web
Parallel and distributed algorithms in p systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Multi-robot adversarial patrolling: facing a full-knowledge opponent
Journal of Artificial Intelligence Research
Predicate transformers for infinite-state automata in NuPRL type theory
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Overcoming software fragility with interacting feedback loops and reversible phase transitions
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Portable Parallel Programs using architecture-aware libraries
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Pattern based priority assignment for multi aircraft conflicts in autonomous ATM
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Automated analysis of parametric timing-based mutual exclusion algorithms
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Computer Science Review
Survey: Computational models for networks of tiny artifacts: A survey
Computer Science Review
The renaming problem in shared memory systems: An introduction
Computer Science Review
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
Asynchronous failure detectors
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
Optimal distributed all pairs shortest paths and applications
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
Iterative approximate byzantine consensus in arbitrary directed graphs
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
Asynchronous leader election and MIS using abstract MAC layer
FOMC '12 Proceedings of the 8th International Workshop on Foundations of Mobile Computing
Relational peer to peer database management systems: a survey
Journal of Computational Methods in Sciences and Engineering
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science
Poor man's social network: consistently trade freshness for scalability
WebApps'12 Proceedings of the 3rd USENIX conference on Web Application Development
Distributed robotic sensor networks: An information-theoretic approach
International Journal of Robotics Research
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Compact Representations and Efficient Algorithms for Operating Guidelines
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
How to prove algorithms linearisable
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Impact of Asynchrony on the Behavior of Rational Selfish Agents
Fundamenta Informaticae
Improved Decomposition of Signal Transition Graphs
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Spectra: robust estimation of distribution functions in networks
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
A macro and micro context awareness model for the provision of services in smart spaces
ICOST'12 Proceedings of the 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management
An Efficient Message Passing Election Algorithm based on Mazurkiewicz's Algorithm
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Observe and remain silent (communication-less agent location discovery)
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Local Computations in Graphs: The Case of Cellular Edge Local Computations
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Leader Election in Rings with Nonunique Labels
Fundamenta Informaticae
Integrating Distributed Algorithms into Distributed Systems
Fundamenta Informaticae
Generalized Mutual Exclusion with Semaphores Only
Fundamenta Informaticae
Natural algorithms and influence systems
Communications of the ACM
Probabilistic analysis of onion routing in a black-box model
ACM Transactions on Information and System Security (TISSEC)
From clarity to efficiency for distributed algorithms
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Graph process specifications for hybrid networked systems
Discrete Event Dynamic Systems
A secure data aggregation scheme for wireless sensor networks
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
A reliability evaluation of a group membership protocol
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
On the message complexity of indulgent consensus
DISC'07 Proceedings of the 21st international conference on Distributed Computing
On the communication surplus incurred by faulty processors
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Output stability versus time till output
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Concurrent forward bounding for distributed constraint optimization problems
Artificial Intelligence
Exploiting partitioned synchrony to implement accurate failure detectors
International Journal of Critical Computer-Based Systems
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Systematic engineering of control protocols for covert channels
CMS'12 Proceedings of the 13th IFIP TC 6/TC 11 international conference on Communications and Multimedia Security
High-Level executable specifications of distributed algorithms
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Formal verification of distributed algorithms: from pseudo code to checked proofs
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
A relational trace logic for simple hierarchical actor-based component systems
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Distributed computing in fault-prone dynamic networks
Proceedings of the 4th International Workshop on Theoretical Aspects of Dynamic Distributed Systems
Finding non-terminating executions in distributed asynchronous programs
SAS'12 Proceedings of the 19th international conference on Static Analysis
Computability in distributed computing: a Tutorial
ACM SIGACT News
New solutions for disjoint paths in P systems
Natural Computing: an international journal
Fast distributed computation in dynamic networks via random walks
DISC'12 Proceedings of the 26th international conference on Distributed Computing
Dense subgraphs on dynamic networks
DISC'12 Proceedings of the 26th international conference on Distributed Computing
The strong at-most-once problem
DISC'12 Proceedings of the 26th international conference on Distributed Computing
DISC'12 Proceedings of the 26th international conference on Distributed Computing
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Journal of the ACM (JACM)
On the practicality of practical Byzantine fault tolerance
Proceedings of the 13th International Middleware Conference
Resilient synchronization in robust networked multi-agent systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Algorithms for determining network robustness
Proceedings of the 2nd ACM international conference on High confidence networked systems
TRANSIT: specifying protocols with concolic snippets
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Trinity: a distributed graph engine on a memory cloud
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Stone age distributed computing
Proceedings of the 2013 ACM symposium on Principles of distributed computing
How to meet asynchronously at polynomial cost
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Byzantine vector consensus in complete graphs
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Proceedings of the 2013 ACM symposium on Principles of distributed computing
On the complexity of universal leader election
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Fast byzantine agreement in dynamic networks
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Proceedings of the fourth international conference on Future energy systems
Byzantine agreement with homonyms in synchronous systems
Theoretical Computer Science
Learning a ring cheaply and fast
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Sublinear-Time maintenance of breadth-first spanning tree in partially dynamic networks
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Lifecycle of adaptive agreements: a pattern language
AT'13 Proceedings of the Second international conference on Agreement Technologies
An interface theory for service-oriented design
Theoretical Computer Science
Deterministic compilation of temporal safety properties in explicit state model checking
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Refinement and difference for probabilistic automata
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Deterministic geoleader election in disoriented anonymous systems
Theoretical Computer Science
DEFINED: deterministic execution for interactive control-plane debugging
USENIX ATC'13 Proceedings of the 2013 USENIX conference on Annual Technical Conference
A theory of robust omega-regular software synthesis
ACM Transactions on Embedded Computing Systems (TECS)
On the performance of a retransmission-based synchronizer
Theoretical Computer Science
Self-stabilizing consensus average algorithm in distributed sensor networks
Transactions on Large-Scale Data- and Knowledge-centered systems IX
Specification and Verification of Concurrent Programs Through Refinements
Journal of Automated Reasoning
Theoretical Computer Science
Efficient fault-tolerant collision-free data aggregation scheduling for wireless sensor networks
Journal of Parallel and Distributed Computing
Causality, influence, and computation in possibly disconnected synchronous dynamic networks
Journal of Parallel and Distributed Computing
Information and Computation
Computing with infinitely many processes
Information and Computation
Quorum-based mutual exclusion in asynchronous distributed systems with unreliable failure detectors
The Journal of Supercomputing
Minimum disclosure routing for network virtualization and its experimental evaluation
IEEE/ACM Transactions on Networking (TON)
A simple Byzantine Generals protocol
Journal of Combinatorial Optimization
Fuzzy agent-based approach for consensual design synthesis in product configuration
Integrated Computer-Aided Engineering
Hi-index | 0.15 |
From the Publisher:In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers and researchers. Distributed Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others. The material is organized according to the system model - first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference. The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms - to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.