Paul Bristow

According to our database, Paul Bristow authored at least 7 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A parallel SML compiler based on algorithmic skeletons.

Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow

J. Funct. Program., 2005

Detecting and resolving semantic pathologies in UML sequence diagrams.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

2004

Model Synthesis from Imprecise Specifications.

Bill Mitchell, Robert Thomson, Paul Bristow

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Scenario Synthesis from Imprecise Requirements.

Bill Mitchell, Robert Thomson, Paul Bristow

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

2002

Automatic Generation of Conformance Tests from Message Sequence Charts.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

1998

Network Publishing Languages.

David G. Green, Paul Bristow, Jeff Ash, Larry Benton, Pam Milliken, David Newth

Comput. Networks, 1998

A Publishing System to Support Secondary School Teaching and Learning.

Paul Bristow, Matthew White

Comput. Networks, 1998