A calculus of mobile processes, I

Article Properties
Cite
Milner, Robin, et al. “A Calculus of Mobile Processes, I”. Information and Computation, vol. 100, no. 1, 1992, pp. 1-40, https://doi.org/10.1016/0890-5401(92)90008-4.
Milner, R., Parrow, J., & Walker, D. (1992). A calculus of mobile processes, I. Information and Computation, 100(1), 1-40. https://doi.org/10.1016/0890-5401(92)90008-4
Milner, Robin, Joachim Parrow, and David Walker. “A Calculus of Mobile Processes, I”. Information and Computation 100, no. 1 (1992): 1-40. https://doi.org/10.1016/0890-5401(92)90008-4.
Milner R, Parrow J, Walker D. A calculus of mobile processes, I. Information and Computation. 1992;100(1):1-40.
Journal Categories
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
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Algebra of Communicating Processes with Abstraction Theoretical 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
 1985
Parametric channels via label expressions in CCS Theoretical 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
 6 1984
A calculus of mobile processes, II Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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
 133 1992
Cell and ensemble architecture for the rewrite rule machine 1988
Fully abstract models of the lazy lambda calculus 1988
Citations
Title Journal Journal Categories Citations Publication Date
The reflective higher-order calculus: Encodability, typability and separation Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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
 2024
Mixed choice in session types Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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
 2024
A full process algebraic representation of Ant Colony Optimization Information Sciences
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2024
Branching bisimulation semantics for quantum processes Information Processing Letters
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2024
Modular rewritable Petri nets: An efficient model for dynamic distributed systems Theoretical 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
 2024
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science485
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software398
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware386
Science: Science (General): Cybernetics: Information theory71
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods60
Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication45
Technology: Technology (General): Industrial engineering. Management engineering: Information technology43
Science: Mathematics40
Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks24
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics20
Technology: Engineering (General). Civil engineering (General)18
Technology: Mechanical engineering and machinery14
Science: Physics8
Science: Biology (General)7
Medicine: Medicine (General): Computer applications to medicine. Medical informatics6
Technology: Electrical engineering. Electronics. Nuclear engineering5
Philosophy. Psychology. Religion: Logic5
Science: Chemistry: Organic chemistry: Biochemistry4
Medicine: Medicine (General): Medical technology4
Science: Chemistry4
Science: Science (General)4
Technology: Technology (General): Industrial engineering. Management engineering4
Technology: Electrical engineering. Electronics. Nuclear engineering: Materials of engineering and construction. Mechanics of materials3
Technology: Chemical technology3
Social Sciences: Commerce: Business2
Social Sciences: Economic theory. Demography: Economics as a science2
Technology: Chemical technology: Biotechnology2
Science: Chemistry: General. Including alchemy2
Medicine: Medicine (General)2
Social Sciences: Commerce: Business: Personnel management. Employment management1
Science: Biology (General): Genetics1
Technology: Manufactures1
Medicine1
Science1
Science: Chemistry: Analytical chemistry1
Science: Mathematics: Instruments and machines1
Technology: Manufactures: Production management. Operations management1
Science: Geology1
Medicine: Internal medicine: Specialties of internal medicine: Immunologic diseases. Allergy1
Technology: Engineering (General). Civil engineering (General): Transportation engineering1
Science: Physics: Heat: Thermodynamics1
Medicine: Internal medicine1
Social Sciences: Sociology (General)1
Social Sciences: Economic theory. Demography1
Social Sciences1
Technology1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 485 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled A calculus of mobile processes, II and was published in 1992. The most recent citation comes from a 2024 study titled Mixed choice in session types. This article reached its peak citation in 2005, with 49 citations. It has been cited in 180 different journals, 9% of which are open access. Among related journals, the Electronic Notes in Theoretical Computer Science cited this research the most, with 127 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year