skip to main content
Show Results with:

Results 1 - 10 of 19  for Everything in this catalogue

results 1 2 next page
Refined by: material type: Articles remove journal title: Report remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Full Abstractness for a Functional/Concurrent Language With Higher-Order Value-Passing

Hartonas, T.; Hennessy, M.

UNIVERSITY OF SUSSEX Part: Part 1; -- 1997

Check library holdings

2
Material Type:
Article
Add to My workspace

Strong Bisimulations for a Calculus of Broadcasting Systems

Hennessy, M.; Rathke, J.

UNIVERSITY OF SUSSEX Part: Part 1; -- 1995

Check library holdings

3
Material Type:
Article
Add to My workspace

Semantics for core Concurrent ML using computation types

Jeffrey, A.

UNIVERSITY OF SUSSEX Part: Part 3; -- 1996

Check library holdings

4
Material Type:
Article
Add to My workspace

A Theory of Weak Bisimulation for Core CML

Ferreira, W.; Hennessy, M.; Jeffrey, A.

UNIVERSITY OF SUSSEX Part: Part 5; -- 1995

Check library holdings

5
Material Type:
Article
Add to My workspace

Weak Bisimulations for a Calculus of Broadcasting Systems

Hennessy, M.; Rathke, J.

UNIVERSITY OF SUSSEX Part: Part 3; -- 1995

Check library holdings

6
Material Type:
Article
Add to My workspace

Resource Access Control in Systems of Mobile Agents

Hennessy, M.; Riely, J.

UNIVERSITY OF SUSSEX -- 1998

Check library holdings

7
Material Type:
Article
Add to My workspace

Guarded Induction On Final Coalgebras

Pavlovic, D.

UNIVERSITY OF SUSSEX -- 1998

Check library holdings

8
Material Type:
Article
Add to My workspace

Specifying Interaction Categories

Abramsky, S.; Pavlovic, D.

UNIVERSITY OF SUSSEX Part: Part 7; -- 1996

Check library holdings

9
Material Type:
Article
Add to My workspace

Unique Fixpoint Induction for Message-Passing Process Calculi

Hennessy, M.; Lin, H.

UNIVERSITY OF SUSSEX Part: Part 6; -- 1995

Check library holdings

10
Material Type:
Article
Add to My workspace

Trust and Partial Typing in Open Systems of Mobile Agents

Riely, J.; Hennessy, M.

UNIVERSITY OF SUSSEX Part: Part 4; -- 1998

Check library holdings

Results 1 - 10 of 19  for Everything in this catalogue

results 1 2 next page

Refine Search Results

Refine my results

Author/Contributor 

  1. Hennessy, M.  (13)
  2. Riely, J.  (4)
  3. Ferreira, W.  (3)
  4. Rathke, J.  (3)
  5. Pavlovic, D.  (3)
  6. Jeffrey, A.  (2)
  7. Yoshida, N.  (2)
  8. Lin, H  (1)
  9. Hartonas, T.  (1)
  10. Abramsky, S.  (1)
  11. Jeffrey, A. S. A.  (1)
  12. Refine further open sub menu

Creation date 

From To

Language 

  1. English  (15)
  2. Unspecified  (1)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Hennessy, M.
  2. Riely, J.
  3. Ferreira, W.
  4. Rathke, J.
  5. Pavlovic, D.

Searching Remote Databases, Please Wait