Formal languages
ACM Computing Surveys (CSUR)
Formal verification of parallel programs
Communications of the ACM
Ethernet: distributed packet switching for local computer networks
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Synchronization of communicating processes
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
Developmental systems and languages
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
A principle for resilient sharing of distributed resources
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The formulation and application of evaluation nets
The formulation and application of evaluation nets
Characterization of a distributed data base system.
Characterization of a distributed data base system.
An End-to-End Approach to the Resequencing Problem
Journal of the ACM (JACM)
A realistic evaluation of consistency algorithms for replicated files
ANSS '88 Proceedings of the 21st annual symposium on Simulation
Estimating the Reliability of Regeneration-Based Replica Control Protocols
IEEE Transactions on Computers
Modeling distributed file systems
ACM SIGMETRICS Performance Evaluation Review
File placement and process assignment due to resource sharing in a distributed system
WSC '85 Proceedings of the 17th conference on Winter simulation
Replication and consistency: being lazy helps sometimes
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Read-only transactions in a distributed database
ACM Transactions on Database Systems (TODS)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
A locking protocol for resource coordination in distributed databases
ACM Transactions on Database Systems (TODS)
Office Information Systems and Computer Science
ACM Computing Surveys (CSUR)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Research problems of decentralized systems with largely autonomous nodes
ACM SIGOPS Operating Systems Review
Communication primitives supporting the execution of atomic actions at remote sites
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
SIGCOMM '81 Proceedings of the seventh symposium on Data communications
Optimization of the number of copies in a distribution data base
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
GEM: A tool for concurrency specification and verification
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Elections in a Distributed Computing System
IEEE Transactions on Computers
Modelling parallel access to shared resources in a distributed file system using queueing networks
Journal of Systems and Software
Performance-reliability issues in distributed file systems
Journal of Systems and Software
An overview of recent data base research
ACM SIGMIS Database
Hi-index | 0.01 |
Solutions to the duplicate database update problem are considered, and a formal validation technique using the theory of L systems is developed and applied to the problem. The paper shows some particular solutions but is primarily concerned with general properties of the problem, convenient representational techniques, and formal proof procedures which are general enough to apply to this and to a number of other problems in parallel processing and synchronization.