Derivatives of Regular Expressions
Journal of the ACM (JACM)
Synchronization of communicating processes
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
A formalism for translator interactions
Communications of the ACM
On multiprogramming, machine coding, and computer organization
Communications of the ACM
Hierarchical modeling of operating system structure and behavior
ACM '72 Proceedings of the ACM annual conference - Volume 2
An introduction to the DREAM software design system
ACM SIGSOFT Software Engineering Notes
Behavior Modeling During Software Design
IEEE Transactions on Software Engineering
Fault detecting experiments for sequential circuits
SWCT '64 Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design
A multiprocessor system design
AFIPS '63 (Fall) Proceedings of the November 12-14, 1963, fall joint computer conference
Control of sequence and parallelism in modular programs
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
Journal of Computer and System Sciences
An approach to software system behavior description
Computer Languages
Anomaly detection in concurrent programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
DREAM - an approach to designing large scale, concurrent software systems
ACM '79 Proceedings of the 1979 annual conference
An approach to software system behavior description
Computer Languages
Programming and Computing Software
Unshuffling a square is NP-hard
Journal of Computer and System Sciences
Hi-index | 0.00 |
A scheme is presented for the modelling of a software system's operation and it is shown how this scheme may be used in software system analysis. The scheme is primarily intended for the description of large-scale, complex software systems having (actual or conceptual) parallelism. The modelling scheme is shown equivalent to a large number of previously defined schemes for modelling systems with concurrency. An algorithm is given for deriving a non-procedural representation of a system's behavior from a model of its operation and several ways are outlined by which analysis may be performed using the information derived by such an algorithm.