Author:
de Bakker J. W.,de Vink E. P.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference27 articles.
1. America, P. and de Bakker, J. W., “Designing Equivalent Semantic Models for Process Creation,”Theoretical Computer Science, 60, pp. 109–176, 1988.
2. America, P., de Bakker, J. W., Kok, J. N. and Rutten, J. J. M. M., “Operational Semantics of a Parallel Object-Oriented Language,” inProc. POPL’86, St. Petersburg, Florida, pp. 194–208, 1986.
3. America, P., de Bakker, J. W., Kok, J. N. and Rutten, J. J. M. M., “Denotational Semantics of a Parallel Object-Oriented Language,”Information and Computation, 83, pp. 152–205, 1989.
4. America, P., “Issues in the Design of a Parallel Object-Oriented Language,”Formal Aspects of Computing, 1, pp. 366–411, 1989.
5. America, P. and Rutten, J. J. M. M., «A Parallel Object-Oriented Language: Design and Semantic Foundations,” inLanguages for Parallel Architectures: Design, Semantics, Implementation Models (J. W. de Bakker, ed.), Wiley Series in Parallel Computing, Wiley, pp. 1–49, 1989.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Abstract Continuation Semantics for Asynchronous Concurrency;2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2017-09
2. Deriving failures models for nonuniform concurrency from structured operational semantics;New Generation Computing;1996-09