On temporal program verification rules
F. Kröger (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “TTL : a formalism to describe local and global properties of distributed systems”
On temporal program verification rules
Nondeterminism and fully abstract models
Egidio Astesiano, Gerardo Costa (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
On Lamport's comparison between linear and branching time temporal logic
Susanne Graf (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Local rule simulations of capsid assembly.
Schwartz, R., Shor, P.W., Berger, B. (2005)
Journal of Theoretical Medicine
Similarity:
A note on negative tagging for least fixed-point formulae
Dilian Gurov, Bruce Kapron (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Intuitionistic three-valued logic and logic programming
J. Vauzeilles, A. Strauss (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Logic and functional programming by retractions : operational semantics
M. Bellia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Towards finishing off the axiom of reducibility
Philippe de Rouilhan (1996)
Philosophia Scientiae
Similarity: