Models and axioms for a fragment of real time process algebra [article]

AS Anton Klusener, JA Jan Bergstra, JCM Jos Baeten
1993
doi:10.6100/ir408754 fatcat:uexrmkwycrhr5kvjydrsvccdrq