A study on derivations of inverse semirings with involution | Synapse