Adding recursive constructs to bialgebraic semantics

Article Properties
Cite
Klin, Bartek. “Adding Recursive Constructs to Bialgebraic Semantics”. The Journal of Logic and Algebraic Programming, vol. 60-61, 2004, pp. 259-86, https://doi.org/10.1016/j.jlap.2004.03.005.
Klin, B. (2004). Adding recursive constructs to bialgebraic semantics. The Journal of Logic and Algebraic Programming, 60-61, 259-286. https://doi.org/10.1016/j.jlap.2004.03.005
Klin B. Adding recursive constructs to bialgebraic semantics. The Journal of Logic and Algebraic Programming. 2004;60-61:259-86.
Refrences
Title Journal Journal Categories Citations Publication Date
Bisimulation can't be traced

 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
 142 1995
A domain equation for bisimulation 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
 62 1991
Initial Algebra Semantics and Continuous Algebras

 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
 275 1977
Semantics of name and value passing 2001
Process algebra with recursive operations 2001
Citations
Title Journal Journal Categories Citations Publication Date
Structural congruence for bialgebraic semantics Journal of Logical and Algebraic Methods in Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • 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 2016
Modularity and Implementation of Mathematical Operational Semantics Electronic Notes in Theoretical Computer Science 4 2011
Relating coalgebraic notions of bisimulation

 Logical Methods in Computer Science
  • Philosophy. Psychology. Religion: Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • 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
 2011
Bialgebraic methods and modal logic in structural operational semantics 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
 9 2009
Bi-inductive structural semantics 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
 4 2009
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software4
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware4
Science: Mathematics2
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Philosophy. Psychology. Religion: Logic1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 4 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Bi-inductive Structural Semantics and was published in 2007. The most recent citation comes from a 2016 study titled Structural congruence for bialgebraic semantics. This article reached its peak citation in 2011, with 2 citations. It has been cited in 4 different journals, 25% of which are open access. Among related journals, the Electronic Notes in Theoretical Computer Science cited this research the most, with 3 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year