96 search results - page 1 / 20 » Complexity of Decision Problems for Mixed and Modal Specific... |
FOSSACS
2008
Springer
13 years 5 months ago
2008
Springer
MSCS
2010
12 years 11 months ago
2010
ENTCS
2008
13 years 4 months ago
2008
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
LICS
1994
IEEE
13 years 8 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
SLP
1994
13 years 5 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...