1996
DOI: 10.1007/3-540-60915-6_5
|View full text |Cite
|
Sign up to set email alerts
|

Modal and temporal logics for processes

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
183
0
1

Year Published

2000
2000
2012
2012

Publication Types

Select...
7
1

Relationship

0
8

Authors

Journals

citations
Cited by 149 publications
(184 citation statements)
references
References 52 publications
0
183
0
1
Order By: Relevance
“…We consider two common notions of abstraction: simulation [Mil71], which preserves only universal properties, and bisimulation [Par81], which preserves properties of the full mu-calculus (cf. [BCG88,Sti95]). Let M and N be LTS's, with…”
Section: Lifting Proofsmentioning
confidence: 99%
See 1 more Smart Citation
“…We consider two common notions of abstraction: simulation [Mil71], which preserves only universal properties, and bisimulation [Par81], which preserves properties of the full mu-calculus (cf. [BCG88,Sti95]). Let M and N be LTS's, with…”
Section: Lifting Proofsmentioning
confidence: 99%
“…We assume that R is total : i.e., for any s and a, there exists t such that (s, a, t) ∈ R. A set, I, of initial states can be accommodated by adding a dummy initial state with a transition to each state in I. The evaluation of a formula f , represented as f c , is a subset of S, defined relative to a context c mapping variables to subsets of S. The evaluation rules are standard (see, e.g., [Sti95]) and are omitted here. A state s in the LTS satisfies a closed mu-calculus formula f iff s ∈ f ⊥ , where ⊥ maps every variable to the empty set.…”
Section: Introductionmentioning
confidence: 99%
“…The similarity between the interpretative structures in object-oriented models and labeled transition systems reflects in a similarity between object-oriented models and modal logics of programs, which are formalisms specifically designed for reasoning about program schemes, and which are interpreted in terms of labeled transition systems (see [20,23] for surveys).…”
Section: Reasoning In Cvlmentioning
confidence: 99%
“…Most of them, if not all, base their definitions on the (bi)simulation game that characterizes (bi)simulations between processes [11,3,2]. Although these are branching semantics, their co-inductive characterizations provide a (partially) local way to compare processes by considering, one by one, all the possible transitions from the compared states.…”
Section: Introductionmentioning
confidence: 99%