Formalization of closures for arbitrary bisimulations & instantiation for location based clock ceiling
Formalization of closures for arbitrary bisimulations & instantiation for location based clock ceiling

wimmers/munta