A New Rigorous Approach for Modelling and Refining Concurrent Behaviour in JSD Specifications

JHM Rose

Research output: Contribution to journalArticle (Academic Journal)peer-review

Translated title of the contributionA new approach for representing and refining concurrent behaviour in JSD specifications
Original languageEnglish
Pages (from-to)11-22
Number of pages12
JournalStructured Programming
Issue number1
Publication statusPublished - 1992

Cite this