1
Publications
17
Citations
1
H-Index
1979
Active since
Affiliations
Naval Hospital Yokosuka Japan(Current)
Shota Minami is an author at Naval Hospital Yokosuka Japan specializing in parallel programming, formal verification, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceCluster ComputingParallel ComputingDistributed SystemsFormal VerificationSystems EngineeringParallel ProgrammingTransaction Processing
Publications per year
1979–1979
1
1
Two-Phase Deadlock Detection Algorithm In Distributed Databases
S. Kawazu, Shota Minami, K. Itoh et al. · 1979 · 17 citations
Rows per page
1–1 of 1