Contact
schliessen

Filtern

 

Bibliotheken

Logo der Bibliothek

Siegel TU Braunschweig Universitätsbibliothek Braunschweig
You do not seem to be within the network of Braunschweig University.
As student, researcher or staff member of Braunschweig University you can use the VPN service to gain access to electronic publications.
Alternatively, you can use your university username and password via Shibboleth to gain access to electronic publications with certain publishers. You can find more details in our Blog (in German).

Causal event structures with complete transformation rules

We propose the causal event structure, a new formal model for concurrent systems in which simultaneity among the events that systems perform is fully considered. Our new model is defined with the following features in its syntax and semantics. The model incorporates a way to express not only enablin... Full description

Contained in: Transactions of the Information Processing Society of Japan Vol. 44, No. 1 (2003), p. 15-28
Fulltext access:
Availability is being checked...
Interlibrary loan: Check possibility for interlibrary loan
ISSN: 0387-5806
Additional Keywords: SATZLEHRE
SEMANTIK
SYNCHRONISIERUNG
TEMPORALE-LOGIK
Notes: Copyright: Metadaten: TEMA, Copyright WTI-Frankfurt eG
Copyright: (C) Alle Rechte beim Herausgeber
Physical Description: 14 Seiten, 16 Quellen
PPN (Catalogue-ID): WTI040335801
Note: WTI TEMA DB
more publication details ...

Associated Publications/Volumes

  • Associated records are being queried...
more (+)
Internes Format
LEADER 02240naa a2200313 c 4500
001 WTI040335801
003 DE-601
005 20190330061040.0
008 171222s2003 000 0 und d
028 5 2 |a TEMA2003_wti_pica 
035 |a (DE-599)WTI20030506855 
040 |b ger  |c GBVCP 
084 |a T  |2 FIZTtc 
084 |a 3DG  |a 3DB  |2 FON2006 
245 0 0 |a Causal event structures with complete transformation rules 
300 |a 14 Seiten, 16 Quellen 
500 |a Copyright: Metadaten: TEMA, Copyright WTI-Frankfurt eG 
500 |a Copyright: (C) Alle Rechte beim Herausgeber 
520 |a We propose the causal event structure, a new formal model for concurrent systems in which simultaneity among the events that systems perform is fully considered. Our new model is defined with the following features in its syntax and semantics. The model incorporates a way to express not only enabling and disabling that are conventional but also synchronization among events without using redundant events. A trace, a possible system run, is defined as a sequence of sets of events so that it can represent synchronized occurrences among events explicitly. With these features, we are able to describe a system's specification in a simple, intuitive manner, avoiding the explosion of the number of events. Further, we give a complete set of the transformation rules on the model. Through a transformation rule, a system can be transformed formally into another with the same traces. Using the transformation rules in this manner, we can infer properties on the event occurrences such as deadlock, conflict, and simultaneity. Their completeness is a desirable feature because it implies that whether two systems are equal in the observed behavior is decidable formally. 
653 4 |a TEMPORALE-LOGIK 
653 4 |a SATZLEHRE 
653 4 |a SEMANTIK 
653 4 |a SYNCHRONISIERUNG 
773 0 8 |i In  |t Transactions of the Information Processing Society of Japan  |g Vol. 44, No. 1 (2003), p. 15-28  |q 44:1<15-28  |x 0387-5806  |x 0387-5806 
912 |a GBV_WTI 
950 |a temporale Logik  |a Satzlehre  |a Semantik  |a Synchronisierung  |2 DE-601 
950 |a Zusammentrefftheorie  |a formales Modell  |a Simultansystem  |2 DE-601 
951 |a AR 
952 |d 44  |j 2003  |e 1  |h 15-28