A white box analysis of concurrent system designs

This publication has 9 references indexed in Scilit:

• Integrated CASE support for box structure systems development: a case study
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Mathematical principles for a first course in software engineering
  IEEE Transactions on Software Engineering, 1989
• Modeling and analysis of the behavior of information systems
  IEEE Transactions on Software Engineering, 1988
• Stepwise refinement and verification in box-structured systems
  Computer, 1988
• Interactive State-Space Analysis of Concurrent Systems
  IEEE Transactions on Software Engineering, 1987
• Box structured information systems
  IBM Systems Journal, 1987
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Software Design Representation Using Abstract Process Networks
  IEEE Transactions on Software Engineering, 1980
• Communicating sequential processes
  Communications of the ACM, 1978