Results 1 
1 of
1
The State Operator in Real Time Process Algebra
"... 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. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
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.