|
СТ |
Timing and Causality in Process Algebra |
1996 |
Aceto L., Murphy D. |
|
|
|
Acta Informatica |
27.07.1996 |
|
СТ |
Observing Located Concurrency |
1993 |
Murphy D. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
СТ |
On the Ill-Timed but Well-Caused |
1993 |
Aceto L., Murphy D. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
A Functorial Semantics for Observed Concurrency |
1992 |
Murphy D., Poigne A. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
|
СТ |
The physics of observation: a perspective for concurrency theorists |
1991 |
Murphy D. |
|
|
|
EATCS Bull. |
19.09.1991 |
