Author:
Dunne Steve,Ferreira João F.,Mendes Alexandra,Ritchie Campbell,Stoddart Bill,Zeyda Frank
Funder
Teesside University
Fundação para a Ciência e a Tecnologia
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference31 articles.
1. A virtual machine for supporting reversible probabilistic guarded command languages;Stoddart;Electron. Notes Theor. Comput. Sci.,2010
2. Irreversibility and heat generation in the computing process;Landauer;IBM J. Res. Dev.,1961
3. Guarded commands, nondeterminacy and formal derivation of programs;Dijkstra;Commun. ACM,1975
4. The B-Book: Assigning Programs to Meanings;Abrial,1996
5. Perfect developer: a tool for object-oriented formal specification and refinement;Crocker,2003
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献