Author:
Aceto Luca,de Frutos Escrig David,Gregorio-Rodríguez Carlos,Ingolfsdottir Anna
Funder
‘New Developments in Operational Semantics’
‘Meta-theory of Algebraic Process Theories’
TESIS
DESAFIOS10
PROMETIDOS
Subject
General Computer Science,Theoretical Computer Science
Reference50 articles.
1. Turning SOS rules into equations;Aceto;Information and Compututation,1994
2. The equational theory of prebisimilarity over basic CCS with divergence;Aceto;Information Processing Letters,2008
3. On the axiomatisability of priority;Aceto;Mathematical Structures in Computer Science,2008
4. Axiomatizing weak ready simulation semantics over BCCSP;Aceto,2011
5. Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet;Aceto;Information Processing Letters,2011
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献