Modular structural operational semantics

Article Properties
Cite
Mosses, Peter D. “Modular Structural Operational Semantics”. The Journal of Logic and Algebraic Programming, vol. 60-61, 2004, pp. 195-28, https://doi.org/10.1016/j.jlap.2004.03.008.
Mosses, P. D. (2004). Modular structural operational semantics. The Journal of Logic and Algebraic Programming, 60-61, 195-228. https://doi.org/10.1016/j.jlap.2004.03.008
Mosses PD. Modular structural operational semantics. The Journal of Logic and Algebraic Programming. 2004;60-61:195-228.
Refrences
Title Journal Journal Categories Citations Publication Date
Casl: The common algebraic specification language 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
 2002
A Conservative Look at Operational Semantics with Variable Binding 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
 20 1998
Enhanced operational semantics 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
 10 1996
Structural operational semantics 2001
The tile model 2000
Citations
Title Journal Journal Categories Citations Publication Date
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

 ACM Transactions on Programming Languages and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • 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
Programming language semantics: It’s easy as 1,2,3

 Journal of Functional Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • 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
 2023
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects

 Proceedings of the ACM on Programming Languages
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
 3 2023
The Way We Were: Structural Operational Semantics Research in Perspective Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2023
Modelling and verifying BDI agents with bigraphs Science of Computer Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • 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
 2 2022
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science31
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software29
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware26
Science: Mathematics4
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Philosophy. Psychology. Religion: Psychology1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 31 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Modular Rewriting Semantics in Practice and was published in 2005. The most recent citation comes from a 2024 study titled Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. This article reached its peak citation in 2007, with 9 citations. It has been cited in 21 different journals, 4% of which are open access. Among related journals, the Electronic Notes in Theoretical Computer Science cited this research the most, with 13 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year