Trace theory and the definition of hierarchical components
暂无分享,去创建一个
Jan L. A. van de Snepscheut | Martin Rem | Jan Tijmen Udding | J. T. Udding | J. L. A. Snepscheut | M. Rem
[1] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[2] William B. Ackerman,et al. Scenarios: A Model of Non-Determinate Computation , 1981, ICFPC.
[3] Tony Hoare. Towards a Theory of Communicating Sequential Processes , 1979 .
[4] P. E. Lauer,et al. Synchronization of concurrent processes without globality assumptions , 1981, SIGP.
[5] Seymour Ginsburg,et al. The mathematical theory of context free languages , 1966 .
[6] M. Rem. The VLSI challenge : complexity bridling , 1981 .
[7] Jeffrey D. Ullman,et al. Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.
[8] Jan L. A. van de Snepscheut. Deriving circuits from programs , 1983 .