Top-down design and the algebra of communicating processes
Science of Computer Programming - Ellis Horwood series in artificial intelligence
Communicating sequential processes
Communicating sequential processes
Specification and top down design of distributed systems
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Predicative specifications for functional programs describing communication networks
Information Processing Letters
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
The notions of consistency and predicate locks in a database system
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Specifications and Proofs for Abstract Data Types in Concurrent Programs
Program Construction, International Summer Schoo
Using eternity variables to specify and prove a serializable database interface
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Eternity variables to prove simulation of specifications
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
A formal functional specification of a serializable interface for an interactive database is given and refined into two different versions with distinct strategies for solving read/write conflicts. The formalization is based on techniques of algebraic specification for defining the basic data structures and functional system specification by streams and stream processing functions for defining the properties concerning interaction. It is especially demonstrated how different specification techniques can be used side by side.