Action Abstraction in Timed Process Algebra

Michel A. Reniers, Muck van Weerdenburg. Action Abstraction in Timed Process Algebra. In Farhad Arbab, Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Volume 4767 of Lecture Notes in Computer Science, pages 287-301, Springer, 2007. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.