Rigorous evidence of freedom from concurrency faults in industrial control software. (English)
Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 85-98 (2011).
1
Rigorous evidence of freedom from concurrency faults in industrial control software (English)
SAFECOMP, 85-98 (2011).
2
Contraction-free proofs and finitary games for linear logic. (English)
Comput. Res. Repos. 2009, Article No. 0905.4064 (2009).
3
Contraction-free proofs and finitary games for linear logic. (English)
Electron. Notes Theor. Comput. Sci. 249, 287-305 (2009).
4
Topological observations on multiplicative additive linear logic. (English)
Comput. Res. Repos. 2008, Article No. 0807.2636 (2008).
5
A theory for game theories. (English)
Arvind, V. (ed.) et al., FSTTCS 2007: Foundations of software technology and theoretical computer science. 27th international conference, New Delhi, India, December 12‒14, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77049-7/pbk). Lecture Notes in Computer Science 4855, 192-203 (2007).
6
A theory for game theories (English)
FSTTCS, 192-203 (2007).
7
Start
Contact
Print
General Help
