The discrete time toolbus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1101, Issue , 1996, Pages 286-305

  Bergstra, J A ^a,b   Klint, P ^a,c  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

COORDINATION ARCHITECTURE; DISCRETE TIME; DISTRIBUTED AUCTIONS; DISTRIBUTED SOFTWARE SYSTEM; TOOLBUS;

SOFTWARE ENGINEERING;

EID: 84947925904     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014323     Document Type: Conference Paper

References (19)

1. J. C. M. Baeten and J.A. Bergstra. Discrete time process algebra (extended abstract). In Proceedings of CONCUR'92, LNCS 630. Springer Verlag, 1992.
2. J.C.M. Baeten and J.A. Bergstra. Real space process algebra. Formals Aspects of Computing, 5(6):481-529, 1993.
3. J.C.M. Baeten and J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 1996. To appear.
4. J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.
5. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information & Control, 60:82-95, 1984.
6. J.A. Bergstra and P. Klint. The ToolBus-a component interconnection architecture. Technical Report P9408, Programming Research Group, University of Amsterdam, 1994.
7. J.A. Bergstra and P. Klint. The Discrete Time ToolBus. Technical Report P9502, Programming Research Group, University of Amsterdam, 1995.
8. J.A. Bergstra and P. Klint. The ToolBus coordination architecture. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models (COORDINATION'96), volume 1061 of Lecture Notes in Computer Science, pages 75-88. Springer-Verlag, 1996.
9. E. Brinksma, editor. Information processing systems-open systems interconnection-LOTOS-a formal description technique based on the temporal ordering of observational behaviour. 1987. ISO/TC97/SC21.
10. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
11. J.F. Groote and A. Ponse. The syntax and semantics of μCRL. Technical Report CS-R9076, CWI, 1990.
12. J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF - reference manual. SIGPLAN Notices, 24(11):43-75, 1989.
13. P. Klint. A guide to ToolBus programming. Technical report, Programming Research Group, University of Amsterdam, 1996. to appear.
14. S. Mauw and G.J. Veltink. A process specification formalism. Fundamenta Informaticae, pages 85-139, 1990.
15. S. Mauw and G.J. Veltink, editors. Algebraic specification of communication protocols, volume 36 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1993.
16. P. Olivier. Embedded system simulation - testdriving the ToolBus. Technical Report P9601, Programming Research Group, University of Amsterdam, 1996.
17. P. Olivier. A simulator framework for embedded systems. In Coordination Languages and Models (COORDINATION'96), volume 1061 ofLecture Notes in Computer Science, pages 436-439, 1996.
18. A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping, An Algebraic Approach, volume 5 of AMAST Series in Computing. World Scientific Publishing Co., 1996. To appear.
19. D.M. Yellin. Interfaces, protocols and the semi-automatic construction of software adaptors. Technical Report RC19460, IBM T.J. Watson Research Center, 1994.