96 search results - page 1 / 20 » Complexity of Decision Problems for Mixed and Modal Specific... |
67
Voted
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
64
Voted
MSCS
2010
14 years 5 months ago
2010
74
Voted
ENTCS
2008
14 years 10 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,...
88
Voted
LICS
1994
IEEE
15 years 2 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 ...
81
Voted
SLP
1994
14 years 11 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...