A formal model of software subsystems
Stephen H. Edwards · OhioLink ETD Center (Ohio Library and Information Network) · 1995
An A lternative Specification of P a rtia l_ M a p _ F a c ility (continued) 16 An A lternative Specification of P a r ti a l-M a p .F a c i lity (continued) .17 The M eaning of the A lternative P a rtia l_ M a p _ F a c ility Specification 18 The Specification of C om m unal_PM ap_Facility...............