Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference15 articles.
1. A structural approach to operational semantics;Plotkin;J. Log. Algebraic Program.,2004
2. Structural operational semantics;Aceto,2002
3. SOS formats and meta-theory: 20 years after;Mousavi;Theor. Comput. Sci.,2007
4. Transition system specifications with negative premises;Groote;Theor. Comput. Sci.,1993
5. The meaning of negative premises in transition system specifications II;van Glabbeek;J. Log. Algebraic Program.,2004
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献