Author:
Labroue A.,Schnoebelen Ph.
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Structural operational semantics;Aceto,2001
2. “Process Algebra,”;Baeten,1990
3. Bouajjani A., B. Jonsson, M. Nilsson and T. Touili, Regular model checking, in: Proc. 12th Int. Conf. Computer Aided Verification (CAV'2000), Chicago, IL, USA, July 2000, Lecture Notes in Computer Science 1855 (2000), pp. 403–418.
4. Verification on infinite structures;Bukart,2001
5. Caucal D., On word rewriting systems having a rational derivation, in: Proc. 3rd Int. Conf. Foundations of Software Science and Computation Structures (FOSSACS'2000), Berlin, Germany, Mar. -Apr. 2000, Lecture Notes in Computer Science 1784, 2000, pp. 48–62.