A Timed Linda Language
We introduce a Timed Linda language (T-Linda) which is obtained by a natural timed interpretation of the usual constructs of the Linda model and by adding a simple primitive which allows one to specify time-outs. Parallel execution of processes follows the scheduling policy of interleaving, however maximal parallelism is assumed for actions depending on time. We define the operational semantics of T-Linda by means of a transition system (a denotational model is defined in ).
Unable to display preview. Download preview PDF.
- 1.L Bettini, R. De Nicola, G.-L. Ferrari and R. Pugliese. Interactive Mobile Agents in X-Klaim. In Proc. of the Seventh IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE’98), pp. 110–115, IEEE Computer Society, 1998.Google Scholar
- 2.F. S. de Boer, M. Gabbrielli, and M. C. Meo. A Timed Concurrent Constraint Language. Information and Computation, 2000. To appear.Google Scholar
- 3.P. Bremond-Gregoire and I. Lee. A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. Theoretical Computer Science 189, 1997.Google Scholar
- 4.F. S. de Boer, M. Gabbrielli, and M. C. Meo. A denotational semantics for Timed Linda. Draft.Google Scholar
- 5.N. Busi, R. Gorrieri, and G. Zavattaro. Process Calculi for Coordination: from Linda to JavaSpaces. Proc. of 8-th International Conference on Algebraic Metodology and Software Technology. Lecture Notes in Computer Science. Springer-Verlag, 2000. To appear.Google Scholar
- 7.R. De Nicola and R. Pugliese. Linda based Applicative and Imperative Process Algebras. To appear in Theoretical Computer Science, 2000.Google Scholar
- 11.V.A. Saraswat, M. Rinard, and P. Panangaden. Semantic Foundation of Concurrent Constraint Programming. In Proc. Eighteenth ACM Symposium on Principles of Programming Languages, pages 333–353. ACM Press, 1991.Google Scholar
- 13.Sun Microsystem, Inc. JavaSpaces Specifications, 1998.Google Scholar
- 14.P. Wyckoff, S.W. McLaughry, T.J. Lehman, and D.A. Ford. TSpaces. IBM Systems Journal, 37(3), 1998.Google Scholar