Proof systems for infinite behaviours

This publication has 8 references indexed in Scilit:

• Descriptive Set Theory
  Published by American Mathematical Society (AMS) ,2009
• Recursive ω-rule for proof systems
  Information Processing Letters, 1989
• Refusal testing
  Theoretical Computer Science, 1987
• Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages
  RAIRO - Theoretical Informatics and Applications, 1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Synchronous and asynchronous experiments on processes
  Information and Control, 1983
• Π12-logic, Part 1: Dilators
  Annals of Mathematical Logic, 1981
• Second order arithmetic and related topics
  Annals of Mathematical Logic, 1974