PREDICATE TRANSFORMERS FOR REASONING ABOUT CONCURRENT COMPUTATION (VOL 24, PG 129, 1995)

Authors
CHANDY KM SANDERS BA
Citation
Km. Chandy et Ba. Sanders, PREDICATE TRANSFORMERS FOR REASONING ABOUT CONCURRENT COMPUTATION (VOL 24, PG 129, 1995), Science of computer programming, 29(3), 1997, pp. 335-335
Citations number
1
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
Science of computer programming → ACNP
ISSN journal
01676423
Volume
29
Issue
3
Year of publication
1997
Pages
335 - 335
Database
ISI
SICI code
0167-6423(1997)29:3<335:PTFRAC>2.0.ZU;2-R