Janicki, RyszardMOHAMMED ALI ABDULLAH ALQARNI2022-05-192022-05-1929675https://drepo.sdl.edu.sa/handle/20.500.14154/13354Modelling Concurrent Systems with Interval ProcessesThesis