Author:
Beneš Nikola,Křetínský Jan,Larsen Kim G.,Srba Jiří
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference26 articles.
1. 20 years of modal and mixed specifications;Antonik;Bull. Eur. Assoc. Theor. Comput. Sci. EATCS,2008
2. Complexity of decision problems for mixed and modal specifications;Antonik,2008
3. Modal and mixed specifications: key decision problems and their complexities;Antonik;Math. Structures Comput. Sci.,2010
4. Deciding bisimilarity is P-complete;Balcazar;Form. Asp. Comput.,1992
5. On weak modal compatibility, refinement, and the MIO workbench;Bauer,2010
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coherent modal transition systems refinement;Journal of Logical and Algebraic Methods in Programming;2024-04
2. 30 Years of Modal Transition Systems: Survey of Extensions and Analysis;Lecture Notes in Computer Science;2017
3. Bibliography;From Action Systems to Distributed Systems;2016-04-20
4. Refinement checking on parametric modal transition systems;Acta Informatica;2015-03-19
5. Sound Merging and Differencing for Class Diagrams;Fundamental Approaches to Software Engineering;2014