Concepedia
Theoretical Computer Science · 1981 · 654 citations · 1 references
EngineeringComputer ScienceSystems EngineeringModel-based Systems EngineeringSystems ArchitectureSystems ModelingFinite State Machine ModelingModel FormulationModel TransformationModel-based DesignPetri NetsHigh-level Petri NetsPetri Net ModelsPetri Net Semantics
1
Consistency and correctness of duplicate database systems
Clarence A. Ellis · ACM SIGOPS Operating Systems Review · 1977 · 68 citations · Full text
Computing, Computer Science, Databases +14