|
СТ |
Structural Operational Specifications and Trace Automata |
1992 |
Badouel E., Darondeau P. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Trace Nets |
1993 |
Badouel E., Darondeau Ph. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
П |
A Note on Guarded Recursion |
1990 |
Badouel E., Darondeau P. |
|
|
INRIA |
|
01.06.1995 |
|
П |
Conditional Rewrite Rules as an Algebraic Semantics of Processes |
1990 |
Badouel E. |
|
|
INRIA |
|
01.06.1995 |
|
СТ |
Polynomial Algorithms for the Synthesis of Bounded Nets |
1995 |
Badouel E., Bernardinello L., Darondeau P. |
|
|
|
Lecture Notes in Computer Science |
16.06.1995 |
|
СТ |
Context-Free Event Domains are Recognizable |
1995 |
Badouel E., Darondeau P., Raoult J. -C. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Petri Algebras |
2005 |
Badouel E., Chenou J., Guillou G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
20.11.2005 |
