A Compositional Approach for Designing Multifunction Time-Dependent Protocols.

Jun-Cheol Park Raymond E. Miller A Compositional Approach for Designing Multifunction Time-Dependent Protocols. 105-112 1997 conf/icnp/1997 ICNP http://doi.ieeecomputersociety.org/10.1109/ICNP.1997.643697 db/conf/icnp/icnp1997.html#ParkM97