Kr Parker

Benefits of Formal Techniques and Tools for Protocol Development

Ke Cheng, Kr Parker, 1989 .

Use of PROMPT for Automatic Protocol Implementation

Kr Parker, 1990 .

Automated Hardware Implementation of Computer Communication Protocols Using Petri Net Based Methods

Ke Forward, Kr Parker, C Ho, 1990 .

Formal Representation of Telecommunications Software Specification for Reuse

Kr Parker, Ln Jackson, Ke Cheng, 1990 .