An approach to software system behavior description
- 31 December 1979
- journal article
- Published by Elsevier in Computer Languages
- Vol. 4 (1) , 29-47
- https://doi.org/10.1016/0096-0551(79)90008-0
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- An approach to software system modelling and analysisComputer Languages, 1979
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978
- A comparison of two synchronizing conceptsActa Informatica, 1972
- Interference between communicating parallel processesCommunications of the ACM, 1972
- Synchronization of communicating processesCommunications of the ACM, 1972
- A formalism for translator interactionsCommunications of the ACM, 1970
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966
- Solution of a problem in concurrent programming controlCommunications of the ACM, 1965