Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference18 articles.
1. Structural operational semantics;Aceto,2001
2. Process Algebra. Cambridge Tracts in Theoretical Computer Science, vol. 18;Baeten,1990
3. The connection between initial and unique solutions of domain equations in the partial order and metric approach;Baier;Formal Aspects Comput.,1997
4. Processes and the denotational semantics of concurrency;Bakker;Inform. and Control,1982
5. Polarized process algebra and program equivalence;Bergstra,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Proposition algebra;ACM Transactions on Computational Logic;2011-05
2. Thread algebra for noninterference;RAIRO - Theoretical Informatics and Applications;2008-10-02
3. Goto elimination in program algebra;Science of Computer Programming;2008-10