Ken R. Parker

According to our database1, Ken R. Parker authored at least 6 papers between 1985 and 1991.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1991
Tool Demonstration: FORSEE.
Proceedings of the Formal Description Techniques, 1991

1990
The PROMPT Automatic Implementation Tool - Initial Impressions.
Proceedings of the Formal Description Techniques, 1990

On Using Protean To Verify ISO FTAM Protocol.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989
Verification Results for ISO FTAM Basic Protocol.
Proceedings of the Protocol Specification, 1989

1988
CSIRONET's Terabit File Store.
Aust. Comput. J., 1988

1985
A Large Scale Network Storage Facility.
Softw. Pract. Exp., 1985


  Loading...