Author:
Bonchi Filippo,Montanari Ugo
Subject
General Computer Science,Theoretical Computer Science
Reference55 articles.
1. On bisimulations for the asynchronous pi-calculus;Amadio,1996
2. Bisimulation by unification;Baldan,2002
3. Compositional semantics for open petri nets based on deterministic processes;Baldan;Mathematical Structures in Computer Science,2005
4. The chemical abstract machine;Berry;Theoretical Computer Science,1992
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Coalgebraic Approach to Unification Semantics of Logic Programming;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
2. Logic programming: Laxness and saturation;Journal of Logical and Algebraic Methods in Programming;2018-12
3. Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness;Coalgebraic Methods in Computer Science;2016
4. Relational presheaves, change of base and weak simulation;Journal of Computer and System Sciences;2015-08
5. Bialgebraic Semantics for Logic Programming;Logical Methods in Computer Science;2015-03-30