|
СТ |
SafeDpi: A Language for Controlling Mobile Code |
2004 |
Hennessy M., Rathke J., Yoshida N. |
|
|
|
Lecture Notes in Computer Science |
30.04.2004 |
|
СТ |
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing |
1998 |
Hartonas C., Hennessy M. |
|
|
|
Lecture Notes in Computer Science |
19.06.1998 |
|
СТ |
A Typed Language for Distributed Mobile Processes |
1998 |
Riely J., Hennessy M. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
A Theory of Weak Bisimulation for Core CML |
1996 |
Ferreira W., Hennessy M., Jeffrey A. |
|
|
|
SIGPLAN Notices |
11.09.1996 |
|
СТ |
Towards a Semantic Theory of CML. Extended Abstract |
1995 |
Ferreira W., Hennessy M. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
24.10.1995 |
|
СТ |
Concurrent testing of processes |
1995 |
Hennessy M. |
|
|
|
Acta Informatica |
20.10.1995 |
|
СТ |
Bisimulations for a Calculus of Broadcasting Systems |
1995 |
Hennessy M., Rathke J. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
|
СТ |
A modal logic for message passing processes |
1995 |
Hennessy M., Liu X. |
|
|
|
Acta Informatica |
07.09.1995 |
|
СТ |
On the Decidability of Non-Interleaving Process Equivalences |
1994 |
Kiehn A., Hennessy M. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Higher-Order Processes and Their Models |
1994 |
Hennessy M. |
|
|
|
Lecture Notes in Computer Science |
09.08.1994 |
|
СТ |
Proof Systems for Message-Passing Process Algebras |
1993 |
Hennessy M., Lin H. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
A Modal Logic for Message Passing Processes |
1993 |
Hennessy M., Liu X. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
An Efficiency Preorder for Processes |
1992 |
Arun-Kumar S., Hennessy M. |
|
|
|
Acta Informatica |
04.02.1993 |
|
СТ |
Concurrent Testing of Processes |
1992 |
Hennessy M. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
A Theory of Processes with Localities |
1992 |
Boudol G., Castellani I., Hennessy M., Kiehn A. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Termination, Deadlock, and Divergence |
1992 |
Aceto L., Hennessy M. |
|
|
|
J. of the ACM |
04.03.1992 |
|
СТ |
Adding Action Refinement to a Finite Process Algebra |
1991 |
Aceto L., Hennessy M. |
|
|
|
Lecture Notes in Computer Science |
12.09.1991 |
|
СТ |
Value-passing in process algebras |
1990 |
Hennessy M. |
|
|
|
Lecture Notes in Computer Science |
31.01.1991 |
