An Overview and Synthesis on Timed Process Algebras - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xavier Nicollin, Joseph Sifakis. An Overview and Synthesis on Timed Process Algebras. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Volume 600 of Lecture Notes in Computer Science, pages 526-548, Springer, 1991.

This author has not been identified. Look up 'Xavier Nicollin' in GoogleThis author has not been identified. Look up 'Joseph Sifakis' in Google

runs on WebDSL