|
СТ |
Schedulers as Abstract Interpretations of Higher-Dimensional Automata |
1995 |
Goubault E. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
|
СТ |
Durations for Truly-Concurrent Transitions |
1996 |
Goubault E. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Semantics and Analysis of Linda-based languages |
1993 |
Cridlig R., Goubault E. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
|
СТ |
Domains of Higher-Dimensional Automata |
1993 |
Goubault E. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Homology of Higher Dimensional Automata |
1992 |
Goubault E., Jensen T. P. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
