|
СТ |
Component Tools: Integrating Petri Nets with Other Formal Methods |
2006 |
Kindler E., Rubin V., Wagner R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.08.2006 |
|
СТ |
SIMULA and Super-Object-Oriented Programming |
2004 |
Kindler E. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
|
СТ |
The Petri Net Markup Language: Concepts, Technology, and Tools |
2003 |
Billington J., Christensen S., Van Hee K., Kindler E., Kummer O., Petrucci L., Post R., Stehno C., Weber M. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
|
СТ |
Serializability, Concurrency Control, and Replication Control |
2000 |
Kindler E. |
|
|
|
Lecture Notes in Computer Science |
08.04.2000 |
|
СТ |
Flexibility in Algebraic Nets |
1998 |
Kindler E., Volzer H. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
ESTL: A Temporal Logic for Events and States |
1998 |
Kindler E., Vesper T. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Verification of Distributed Algorithms with Algebraic Petri Nets |
1997 |
Kindler E., Reisig W. |
|
|
|
Lecture Notes in Computer Science |
28.11.1997 |
|
СТ |
Arc-Typed Petri Nets |
1996 |
Kindler E., Walter R. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
|
СТ |
Safety and Liveness Properties: A Survey |
1994 |
Kindler E. |
|
|
|
EATCS Bull. |
27.07.1994 |
|
СТ |
Causality Based Proof of a Distributed Shared Memory System |
1993 |
Gomm D., Kindler E. |
|
|
|
Lecture Notes in Computer Science |
05.11.1993 |
|
СТ |
Compositional Liveness Properties of EN-Systems |
1993 |
Gomm D., Kindler E., Paech B., Walter R. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
