Journal of the ACM Bibliography
George Milne and Robin Milner. Concurrent processes
and their syntax. Journal of the ACM, 26(2):302-321, April
1979.
[BibTeX entry]
Selected papers that cite this one
- Luca Aceto and Anna Ingólfsdóttir. CPO models for compact GSOS
languages. Information and Computation, 129(2):107-141,
15 September 1996.
- J. W. de Bakker and J. I. Zucker. Processes and the denotational
semantics of concurrency. Information and Control,
54(1/2):70-120, July/August 1982.
- Joost Engelfriet. A multiset semantics
for the pi-calculus with replication. Theoretical Computer
Science, 153(1-2):65-94, 8 January 1996.
- Nancy A. Lynch and Michael J. Fischer. On describing the behavior
and implementation of distributed systems. Theoretical
Computer Science, 13(1):17-43, January 1981.
- Mogens Nielsen, Gordon Plotkin, and Glynn Winskel. Petri nets, event
structures and domains, part I. Theoretical Computer
Science, 13(1):85-108, January 1981.
Shortcuts: