The following pages link to The laws of Occam programming (Q2640348):
Displayed 9 items.
- Communicating processes with value-passing and assignments (Q688827) (← links)
- A theory of software product line refinement (Q714875) (← links)
- Receptive process theory (Q758200) (← links)
- Correct hardware synthesis (Q766178) (← links)
- The projection of systolic programs (Q916375) (← links)
- A proof system for communicating processes with value-passing (Q1179808) (← links)
- An algebraic hardware/software partitioning algorithm (Q1613267) (← links)
- Proof systems for message-passing process algebras (Q1815341) (← links)
- On fairness notions in distributed systems. I: A characterization of implementability (Q1854419) (← links)