Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers

A formal model of real-time program compilation

Theoretical Computer Science

An algebraic hardware/software partitioning algorithm

Journal of Computer Science and Technology

Denotational approach to an event-driven system-level language

UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming

Chopping a point

FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement

A relational approach to an algebraic community: from paul erdős to he jifeng

Theories of Programming and Formal Methods