| The State Operator in Real Time Process Algebra (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract: We extend the real time process algebra of [BB91a] with the state operator of [BB88]. We show the usefulness of this extension in several examples. We use concepts from (classical) real space process algebra of [BB91b] in order to deal with different locations. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||