Knowledge Systems Institute, Skokie, Illinois. By encoding deadlines as tests, the probability of a process passing a test may now be interpreted as the probability of the process meeting a deadline, thereby capturing the essence of soft real-time. A simple video frame transmission example illustrates our approach. The Concurrency Factory software development environment. A process algebra with distributed priorities.
Simple examples highlight the utility of the theory.
A journal version subsumes this paper. Priorities for verifying distributed systems. Priorities in process algebras support an intuitive modeling of distributed systems since undesired interleavings can be suppressed. This fact also leads to a substantial reduction in the sizes of models. A case study.