“Keep definition, change category” — A practical approach to state-based system calculi-Reference-Cited by-同舟云学术

“Keep definition, change category” — A practical approach to state-based system calculi

Author:

Oliveira José Nuno^ORCID,Miraldo Victor Cacciari

Funder

FCT

European Regional Development Fund

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference46 articles.

1. Exercises in quantifier manipulation;Backhouse,2006

2. Components as coalgebras;Barbosa,2001

3. Towards a calculus of state-based software components;Barbosa;J. Univers. Comput. Sci.,2003

5. Distributive laws;Beck,1969

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Probabilistic mediator: A coalgebraic perspective;Journal of Logical and Algebraic Methods in Programming;2022-11

3. The data cube as a typed linear algebra operator;Proceedings of The 16th International Symposium on Database Programming Languages;2017-09

4. Probabilistic Program Analysis;Lecture Notes in Computer Science;2017

5. Gaussian elimination is not optimal, revisited;Journal of Logical and Algebraic Methods in Programming;2016-08