Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference30 articles.
1. de Bakker, J.W. and Rutten, J.J.M.M., “Concurrency Semantics Based on Metric Domain Equations,” inTopology and Category Theory in Computer Science (G.M. Reed, A.W. Roscoe, R.F. Wachter, eds.), Oxford University Press, pp. 113–152, 1991.
2. de Bakker, J.W. and Rutten, J.J.M.M., eds.,Ten Years of Concurrency Semantics, World Scientific Publishing, Singapore, 1992.
3. de Bakker, J.W. and de Vink, E.P., “Rendez-Vous with Metric Semantics,”New Generation Computing, 12, 1, pp. 53–90, 1993.
4. de Bakker, J.W. and Zucker, J.I., “Processes and the Denotational Semantics of Concurrency,”Information and Control, 54, pp. 70–120., 1982.
5. Bergstra, J.A., Klop, J.W., and Olderog, E.-R., “Readies and Failures in the Algebra of Communicating Processes,”SIAM J. of Computing, 17, 6, pp. 1134–1177, 1988.