The Algebra of Timed Processes, ATP: Theory and Application

Cite this paper

@article{Nicollin1994TheAO, title={The Algebra of Timed Processes, ATP: Theory and Application}, author={Xavier Nicollin and Joseph Sifakis}, journal={Inf. Comput.}, year={1994}, volume={114}, pages={131-178} }