Implicit programming and the logic of constructible duality

Chu's construction: a proof-theoretic approach

Logic for concurrency and synchronisation
Complete Orders, Categories and Lattices of Approximations

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Complete Orders, Categories and Lattices of Approximations

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005

Hi-index	0.00