%0 Journal Article %1 journals/jlp/OliveiraM16 %A Oliveira, José Nuno %A Miraldo, Victor Cacciari %D 2016 %J J. Log. Algebraic Methods Program. %K dblp %N 4 %P 449-474 %T "Keep definition, change category" - A practical approach to state-based system calculi. %U http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#OliveiraM16 %V 85

@article{journals/jlp/OliveiraM16, added-at = {2021-02-16T00:00:00.000+0100}, author = {Oliveira, José Nuno and Miraldo, Victor Cacciari}, biburl = {https://www.bibsonomy.org/bibtex/20f120c7d970dec39382d8b4c08305182/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2015.11.007}, interhash = {9e301d3c2d22ef5e7a6b8c37d20764ca}, intrahash = {0f120c7d970dec39382d8b4c08305182}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 4, pages = {449-474}, timestamp = {2024-04-08T10:51:01.000+0200}, title = {"Keep definition, change category" - A practical approach to state-based system calculi.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#OliveiraM16}, volume = 85, year = 2016 }