Items where Author is "Taylor, P.N."

Item Type No Grouping

Report

Abstract process definitions in CSP- A case study. (1997) P.N. Taylor

Concrete examples (using CSP) of process algebra templates and their children. (1997) P.N. Taylor

Concrete examples for templates and their children. (1997) P.N. Taylor

Research issues associated with process algebras and the object-orientated paradigm. (1997) P.N. Taylor

Resilient process theory (RsPT). (1997) P.N. Taylor

Modelling changes in organisations for a complex world. (1995) P.N. Taylor and E. De Maria

Smoothing the transition from formal specification to object-oriented implementation. (1995) P.N. Taylor and D.E. Smith

The analysis of formal models of communication for the specification of reusable systems (progress report). (1995) P.N. Taylor

A brief history of time (before and after objects) - from a perspective of process algebras. (1995) P.N. Taylor

Increasing the usability of formal specification techniques through a combination of complementary formal languages and automated verification tools. (1994) P.N. Taylor and C. Britton

A case study for generic processes and reusability in LOTOS. (1994) P.N. Taylor and D.E. Smith

The influence of the formal description technique LOTOS on concurrent system design. (1994) P.N. Taylor and D.E. Smith

Coding or comprehension? The essence of software system design. (1993) M. Loomes, C. Britton and P.N. Taylor