Author:
Bergstra J.A.,Middelburg C.A.,Ştef[acaron]nescu G.H.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Science Applications
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System;Electronic Notes in Theoretical Computer Science;2008-05
2. A basic algebra of stateless connectors;Theoretical Computer Science;2006-11
3. Network algebra in Java;The Journal of Logic and Algebraic Programming;2005-02
4. Model Theory for Process Algebra;Processes, Terms and Cycles: Steps on the Road to Infinity;2005
5. Complete Axioms for Stateless Connectors;Algebra and Coalgebra in Computer Science;2005