Author:
Lorents P.,Motus L.,Tekko J.
Reference27 articles.
1. Towards a general theory of action and time.-;Allen;Artificial Intelligence,1984
2. Concepts and notations for concurrent programming.-;Andrews;Computing Surveys,1983
3. Ten years of Hoare1s logic: a survey. Part II.-;Apt;Theoretical computer Science,1984
4. The temporal logic of branching time.-;Ben-Ari;Acta Informatica,1983
5. Correctness of software — an overview.-;Berg;Informatik-Fachberichte,1980