Communicating sequential processes
Communications of the ACM
JSP and JSD: The Jackson Approach to Software Development
JSP and JSD: The Jackson Approach to Software Development
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Hi-index | 0.00 |
In this article we use the JSD methodology in solving a classical problem: the problem of "Dining philosophers".