Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
6
0

Year Published

2012
2012
2013
2013

Publication Types

Select...
3
2

Relationship

3
2

Authors

Journals

citations
Cited by 6 publications
(6 citation statements)
references
References 24 publications
0
6
0
Order By: Relevance
“…In particular, the third author recently contributed in [11] to the comparison of several refinement settings, including modal and mixed transition systems. The developments in that paper offer a different approach to the comparison and application of the formalisms studied in this article.…”
Section: Discussionmentioning
confidence: 99%
“…In particular, the third author recently contributed in [11] to the comparison of several refinement settings, including modal and mixed transition systems. The developments in that paper offer a different approach to the comparison and application of the formalisms studied in this article.…”
Section: Discussionmentioning
confidence: 99%
“…Future work shall follow both theoretical and practical directions. On the theoretical side, we firstly wish to study MIA's expressiveness in comparison to other theories via thoroughness [FFELS09]. More substantially, however, we intend to enrich MIA with temporal-logic operators, in the spirit of truly mixing operational and temporal-logic styles of specification in the line of our Logic LTS in [LV11].…”
Section: Discussionmentioning
confidence: 99%
“…Regarding future work, we plan to study the algorithmic complexity implied by MIA-refinement [12], and MIA's expressiveness in comparison to other theories via thoroughness [6]. On the practical side, we wish to adapt existing tool support for interface theories, e.g., the MIO Workbench [3], to MIA.…”
Section: Discussionmentioning
confidence: 99%