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

Number of items: 13.
  • 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