Concurrent Processes and Their Syntax

Article Properties
  • Language
    English
  • Publication Date
    1979/04/01
  • Indian UGC (journal)
  • Refrences
    23
  • Citations
    56
  • George Milne Department of Computer Science, James Clerk Maxwell Building, University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, Scotland
  • Robin Milner Department of Computer Science, James Clerk Maxwell Building, University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, Scotland
Cite
Milne, George, and Robin Milner. “Concurrent Processes and Their Syntax”. Journal of the ACM, vol. 26, no. 2, 1979, pp. 302-21, https://doi.org/10.1145/322123.322134.
Milne, G., & Milner, R. (1979). Concurrent Processes and Their Syntax. Journal of the ACM, 26(2), 302-321. https://doi.org/10.1145/322123.322134
Milne, George, and Robin Milner. “Concurrent Processes and Their Syntax”. Journal of the ACM 26, no. 2 (1979): 302-21. https://doi.org/10.1145/322123.322134.
Milne G, Milner R. Concurrent Processes and Their Syntax. Journal of the ACM. 1979;26(2):302-21.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Science
Science (General)
Cybernetics
Information theory
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Refrences
Title Journal Journal Categories Citations Publication Date
SM a' TH, M Powerdomams Proc 5th Math. Foundations of Comptr Sc~ Symposmm, Gdansk, Poland, Lecture Notes m Computer Science 45 , Sprmger-Vedag, 1976 , pp 537 - 543 SMa'TH, M Powerdomams Proc 5th Math. Foundations of Comptr Sc~ Symposmm, Gdansk, Poland, Lecture Notes m Computer Science 45, Sprmger-Vedag, 1976, pp 537-543 1976
PLOTKIN , G. A powerdomam construction SIAM J Comptng 5 , 3 ( 1976 ), 452-487 PLOTKIN, G. A powerdomam construction SIAM J Comptng 5, 3 (1976), 452-487 1976
VAN WIJNGAARDEN , A. , ET AL Revised report on the algorithmic language ALGOL 68 A cta Informauca 5 ( 1975 ), 1 - 236 VAN WIJNGAARDEN, A., ET AL Revised report on the algorithmic language ALGOL 68 A cta Informauca 5 (1975), 1-236 1975
LUCAS , P , AND WALK , K On the formal descnptlon of P L/I Ann Rev. m A utom. Prog 6 , 3 ( 1969 ), 105- 182. LUCAS, P, AND WALK, K On the formal descnptlon of PL/I Ann Rev. m A utom. Prog 6, 3 (1969), 105- 182. 1969
I On proofs of programs for synchromsatton Proc 3rd Int CoUoqumm Automata Languages and Programming 1976
Citations
Title Journal Journal Categories Citations Publication Date
Concurrent systems and time synchronization International Journal of General Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
1 2018
Election in partially anonymous networks with arbitrary knowledge in message passing systems Distributed Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
4 2012
Behavioral interface specification languages

ACM Computing Surveys
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
27 2012
A Study on Network Service Behavior Verification with Process Algebra and Its Application Chinese Journal of Computers 2011
On the power of synchronization between two adjacent processes Distributed Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
3 2010
Citations Analysis
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 38 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Flowgraphs and Flow Algebras and was published in 1979. The most recent citation comes from a 2018 study titled Concurrent systems and time synchronization. This article reached its peak citation in 1983, with 7 citations. It has been cited in 29 different journals. Among related journals, the Theoretical Computer Science cited this research the most, with 11 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year