Imperative Process Algebra and Models of Parallel Computation

Article Properties
Abstract
Cite
Middelburg, Cornelis A. “Imperative Process Algebra and Models of Parallel Computation”. Theory of Computing Systems, 2024, https://doi.org/10.1007/s00224-024-10164-0.
Middelburg, C. A. (2024). Imperative Process Algebra and Models of Parallel Computation. Theory of Computing Systems. https://doi.org/10.1007/s00224-024-10164-0
Middelburg, Cornelis A. “Imperative Process Algebra and Models of Parallel Computation”. Theory of Computing Systems, 2024. https://doi.org/10.1007/s00224-024-10164-0.
1.
Middelburg CA. Imperative Process Algebra and Models of Parallel Computation. Theory of Computing Systems. 2024;.
Journal Categories
Science
Mathematics
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
Refrences
Title Journal Journal Categories Citations Publication Date
10.7561/SACS.2022.1.137 Scientific Annals of Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
2022
Inversive meadows and divisive meadows Journal of Applied Logic 9 2011
The rational numbers as an abstract data type

Journal of the ACM
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • 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
20 2007
10.1137/S0097539794265402 1997
10.1007/BF01053036 1995