Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Divakar Yadav
Formal Development of Basic Timestamp Concurrency Control Mechanism Using Event-B
International Journal of Computer Applications
Related publications
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
Performance of B-Tree Concurrency Control Algorithms
SIGMOD Record
Information Systems
Software
Guidelines for Formal Domain Modeling in Event-B
Modeling Control Flow of Event-B Using State Transition System
Coalgebra, Concurrency, and Control
Formal Research of Event Ontology Elements
UseCase-Wise Development: Retrenchment for Event-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Concurrency Control in Asynchronous Computations
Non-Formal Education Event Governance Strategies
International Journal of Synergy and Research
