6274 search results - page 148 / 1255 » Proofs, Programs, Processes |
216
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
131
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
