Refinement of actions in a real-time process algebra with a true concurrency model

Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu. Refinement of actions in a real-time process algebra with a true concurrency model. Electronic Notes in Theoretical Computer Science, 70(3):260-280, 2002. [doi]

Abstract

Abstract is missing.