%0 Journal Article %1 journals/jlp/Mosses04 %A Mosses, Peter D. %D 2004 %J J. Log. Algebraic Methods Program. %K dblp %P 195-228 %T Modular structural operational semantics. %U http://dblp.uni-trier.de/db/journals/jlp/jlp60.html#Mosses04 %V 60-61

@article{journals/jlp/Mosses04, added-at = {2021-02-16T00:00:00.000+0100}, author = {Mosses, Peter D.}, biburl = {https://www.bibsonomy.org/bibtex/2d705efeaf3be7512ac7a33674387b3e2/dblp}, ee = {https://www.wikidata.org/entity/Q57783484}, interhash = {9110598779fb2e23b305dbc9fb05dd52}, intrahash = {d705efeaf3be7512ac7a33674387b3e2}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = {195-228}, timestamp = {2024-04-08T10:49:50.000+0200}, title = {Modular structural operational semantics.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp60.html#Mosses04}, volume = {60-61}, year = 2004 }