Two Complete Axiom Systems for the Algebra of Regular Events
Journal of the ACM (JACM)
Synchronization of communicating processes
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
A formalism for translator interactions
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
Software Descriptions with Flow Expressions
IEEE Transactions on Software Engineering
An approach to software system modelling and analysis
Computer Languages
Anomaly detection in concurrent programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
An approach to software system modelling and analysis
Computer Languages
High-level debugging of distributed systems: The behavioral abstraction approach
Journal of Systems and Software
Generalized path expressions: A high-level debugging mechanism
Journal of Systems and Software
Behavior specification in a software design system
Journal of Systems and Software
Programming and Computing Software
| Hi-index | 0.00 |
A scheme is presented for the non-procedural specification of a software system's behavior. The scheme is primarily intended for the description of large-scale, complex software systems having (actual or conceptual) parallelism. The scheme is formally defined, used to describe a variety of example software system behavior, shown to be general enough to describe any software system behavior, and compared to other behavior description schemes.