AMINOL is a high-level machine language for creating and managing virtual processes in a network of multi-processing systems. It is a language with which logical operating system functions may be factored and safely delegated ...

The research proposal is to support the development of the "science" behind software engineering in order to ensure required system properties, to compare current software engineering techniques, to develop specification ...

The abstract proposal is to support the development of the "science" behind software engineering in order to ensure required system properties, to compare current sotware engineering techniques, to develop specification ...

This research proposal is to support the development of the "science" behind software engineering in order to ensure required system properties, to compare current software engineering techniques, to develop specification ...

An algorithm by Buzen to find the normalizing constant and marginal probabilities in a closed queueing network is generalized to the model of Muntz and Baskett. A technique involving the iterative solution of a closed ...

The environment of a formally defined complex of interacting digital systems is specified as a set of ideal, independent observers who can provide input as well as monitor any observable computation. Precise definitions ...

A finite graph model is defined to describe all the computations, finite or infinite, generated by a formally defined complex of interacting digital systems. The graph, called a finite process structure, is an abstraction ...

A formal, universe for systems design has been developed, in which representations of interacting digital, systems are interpreted by a deterministic automaton acting on state information in the form of character strings. ...

The structure and meaning of each operating system, and the programming languages it interprets are normally defined only in the context of a specific computer. This makes the recognition of computer independent structures ...

A language is presented for describing any asynchronous complex of interacting digital systems at any level of abstraction. The resulting representation is a definition of the complex of systems which is both formal, and ...