Author:
B. Benson David,Guessarian Irène
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference59 articles.
1. On semantic foundations for applicative multiprogramming;Abramsky,1983
2. Tree constructions of free continuous algebras;Adamek;J. Comput. System Sci.,1982
3. Some fundamentals of order-algebraic semantics;ADJ,1976
4. Rational algebraic theories in fixed-point solutions;ADJ,1976
5. Initial algebra semantics and continuous algebras;ADJ;J. Assoc. Comput. Mach.,1977
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ON FREE omega-CONTINUOUS AND REGULAR ORDERED ALGEBRAS;LOG METH COMPUT SCI;2019
2. Equivalence of recursive specifications in process algebra;Information Processing Letters;2001-10
3. Linearization in parallel pCRL;The Journal of Logic and Algebraic Programming;2001-05
4. General form recursive equations I;Computer Science Logic;1995
5. Subduing self-application;Automata, Languages and Programming;1989