2002
DOI: 10.1007/3-540-46002-0_10
|View full text |Cite
|
Sign up to set email alerts
|

Explicit Modeling of Influences, and of Their Absence, in Distributed Systems

Abstract: Specific problems in practical distributed system design arise from incomplete information about the cooperation requirements, up to, or even beyond, the final design stage. Events in components will occur, or they may occur, depending on (local) user decisions. The latter may also not occur, as a result of yet unknown external influences or design faults. Adequate formal modeling tools should allow for distinguishing between such different event types. Our approach for this purpose to be introduced here is th… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2005
2005
2005
2005

Publication Types

Select...
1
1

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(3 citation statements)
references
References 18 publications
(13 reference statements)
0
3
0
Order By: Relevance
“…The presentation of formal details is out of the scope of this short paper. They can be found in [3,4]. An on-line animation including the examples as well as the example constructions described will be demonstrated at the conference.…”
Section: Resultsmentioning
confidence: 99%
See 2 more Smart Citations
“…The presentation of formal details is out of the scope of this short paper. They can be found in [3,4]. An on-line animation including the examples as well as the example constructions described will be demonstrated at the conference.…”
Section: Resultsmentioning
confidence: 99%
“…occurrences of phase transitions), as well as the ensuing influence on, or from, other parts. A technical comprehensive presentation of the static structure, the dynamics, and the semantics of I-Systems can be found in [3,4].…”
Section: We Will Present I-systems As Interacting Finite Automatamentioning
confidence: 99%
See 1 more Smart Citation