Bialgebraic Methods in Structural Operational Semantics
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2007/05/01
-
Indian UGC (journal)
-
Refrences41
-
Citations3
-
Bartek Klin
Cite
Klin, Bartek. “Bialgebraic Methods in Structural Operational Semantics”. Electronic Notes in Theoretical Computer Science, vol. 175, no. 1, 2007, pp. 33-43, https://doi.org/10.1016/j.entcs.2006.11.018.
Klin, B. (2007). Bialgebraic Methods in Structural Operational Semantics. Electronic Notes in Theoretical Computer Science, 175(1), 33-43. https://doi.org/10.1016/j.entcs.2006.11.018
Klin, Bartek. “Bialgebraic Methods in Structural Operational Semantics”. Electronic Notes in Theoretical Computer Science 175, no. 1 (2007): 33-43. https://doi.org/10.1016/j.entcs.2006.11.018.
Klin B. Bialgebraic Methods in Structural Operational Semantics. Electronic Notes in Theoretical Computer Science. 2007;175(1):33-4.
You May Also Like
- An algorithm for drawing general undirected graphs
- An efficient algorith for determining the convex hull of a finite planar set
- A linear-time algorithm for testing the truth of certain quantified boolean formulas
- A Decision-Theoretic Generalization of On-Line Learning and an Application to Boosting
- Computing with Membranes
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Distributive laws for the coinductive solution of recursive equations | Information and Computation |
| 9 | 2006 |
| The origins of structural operational semantics | The Journal of Logic and Algebraic Programming | 90 | 2004 | |
| Modular structural operational semantics | The Journal of Logic and Algebraic Programming | 52 | 2004 | |
| Adding recursive constructs to bialgebraic semantics | The Journal of Logic and Algebraic Programming | 7 | 2004 | |
A New Approach to Abstract Syntax with Variable Binding | Formal Aspects of Computing |
| 153 | 2001 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Lax Liftings and Lax Distributive Laws | Electronic Proceedings in Theoretical Computer Science |
| 2023 | |
| Structural congruence for bialgebraic semantics | Journal of Logical and Algebraic Methods in Programming |
| 2 | 2016 |
| Bi-inductive structural semantics | Information and Computation |
| 4 | 2009 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science 3
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 2009. The most recent citation comes from a 2023 study titled Lax Liftings and Lax Distributive Laws. This article reached its peak citation in 2023, with 1 citations. It has been cited in 3 different journals, 33% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.