Article contents
Modal and mixed specifications: key decision problems and their complexities
Published online by Cambridge University Press: 26 February 2010
Abstract
Modal and mixed transition systems are specification formalisms that allow the mixing of over- and under-approximation. We discuss three fundamental decision problems for such specifications:
— whether a set of specifications has a common implementation;
— whether an individual specification has an implementation; and
— whether all implementations of an individual specification are implementations of another one.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 20 , Special Issue 1: Expressiveness in Concurrency 2008 , February 2010 , pp. 75 - 103
- Copyright
- Copyright © Cambridge University Press 2010
References
- 5
- Cited by