We have previously introduced Generalized Semi-Markovian Process Algebra (GSMPA), a process algebra based on ST semantics which is capable of expressing durational actions, where durations are expressed by general probability distributions. In this paper we introduce the calculus of Interactive Generalized Semi-Markov Processes (IGSMP), a variant of GSMPA where synchronizable actions are restri...

Probability resembles the ancient Roman God Janus since, like Janus, probability also has a face with two different sides, which correspond to metaphorical gateways and transitions between past future [...]