Publication:3814780
From MaRDI portal
zbMath0663.68022MaRDI QIDQ3814780
Michael Merritt, Nancy A. Lynch, Alan Fekete, William E. Weihl
Publication date: 1988
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
68P20: Information storage and retrieval of data
Related Items
Distributed event algebras, Specifying modules to satisfy interfaces: A state transition system approach, Formalizing process algebraic verifications in the calculus of constructions, Correctness proof of a database replication protocol under the perspective of the I/O automaton model, Highly concurrent logically synchronous multicast