Abstract
The Calculus of Communicating Systems (CCS) [1] of Milner led to many variants, like the Language of Temporal Ordering Specification [2] of the ISO or Timed LOTOS [3] of Quemada-Fernandez. This last variant introduces time intervals on event offers. We first informally motivate the need for a new variant. Then we present four alternative operators to timed LOTOS, that try to suit more accurately the characteristics of current operating systems. Finally, we show, by means of a small example, that the above operators effectively allow to cope with real-time constraints.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. Milner, A Calculus of Communicating Systems Springer, LNCS 92.
ISO, Revised DP8807: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour July 1986.
J. Quemada, A. Fernandez, Introduction of Ouantitative Relative Time into LOTOS Proc. of the VIIth Protocol Specification, Testing and Verification Symposium, May 1987.
L. Libert, G. T’Hooft, RESOS, A Real-time Multi-Tasks Operating System Kernel (in french), Proceedings of the “9èmes Journées Francophones sur l’Informatique - Les réseaux de communication - Nouveaux outils et tendances actuelles, Liège”, January 1987.
RACE, Specification environment for communication software (SPECS), IBC view of existing specification methods and tools, Part II: critical evaluation, Deliverable D4 RACE ref: 2039, 1986.
L. Libert, G. T’Hooft, RESOS, A Real-time Multi-Tasks Operating System Kernel (in french), Proceedings of the “9èmes Journées Francophones sur l’Informatique - Les réseaux de communication - Nouveaux outils et tendances actuelles, Liège”, January 1987.
G. T’Hooft, Introduction of real-time constraints in process algebras Conference on Protocol Specification, Université Libre de Bruxelles, January 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
T’Hooft, G.A. (1989). Four Operators to Express Time Constraints in a Process Algebra. In: Kühn, P.J. (eds) Kommunikation in verteilten Systemen. Informatik-Fachberichte, vol 205. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74570-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-74570-6_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50893-9
Online ISBN: 978-3-642-74570-6
eBook Packages: Springer Book Archive