Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
The State of the Art in Language Workbenches | 2013 | |||
An overview of the K semantic framework | The Journal of Logic and Algebraic Programming | 99 | 2010 | |
A calculus of mobile processes, II | Information and Computation |
| 133 | 1992 |
A calculus of mobile processes, I | Information and Computation |
| 792 | 1992 |
FunTAL: Reasonably Mixing a Functional Language with Assembly | 2017 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Lang-n-Send Extended: Sending Regular Expressions to Monitors | Electronic Proceedings in Theoretical Computer Science |
| 2022 |
Category | Category Repetition |
---|---|
Science: Mathematics: Instruments and machines: Electronic computers. Computer science | 1 |