Communicating sequential processes
Communicating sequential processes
Current trends in concurrency. Overviews and tutorials
Specification of time dependencies and synthesis of concurrent processes
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus of refinements for program derivations
Acta Informatica
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Superposition and fairness in reactive system refinement
JCIT Proceedings of the fifth Jerusalem conference on Information technology
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Serializability in Distributed Systems with Handshaking
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Proceedings of the 11th Colloquium on Automata, Languages and Programming
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
The notion of joint actions provides a natural execution model for a specification language, when temporal logic of actions is used for formal reasoning. We extend this basis with scheduling, the role of which is to enforce liveness properties and to introduce real-time properties. This is done in a way that agrees with the partial-order view of computations and can be applied already in early stages of specification and design. In scheduling principles this leads to distinction of total correctness, partial correctness, and incorrectness with respect to liveness properties. A general scheduling policy is formulated that covers any reasonable scheduling as a special case. When this policy is totally correct and gives the required real-time properties, no special limitations are imposed on implementation. A refinement method is described by which a system can be transformed into a form for which this is true.