skip to main content
Show Results with:

Results 1 - 10 of 12  for Everything in this catalogue

results 1 2 next page
Refined by: subject: Computer software & programming remove subject: Pure mathematics remove creation date: 1993To1995 remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

GSOS and finite labelled transition systems.

Luca Aceto

University of Sussex, School of Cognitive and Computing Science, 1993.

Check library holdings

2
Material Type:
Book
Add to My workspace

A verification tool for value-passing processes.

Huimin Lin

University of Sussex, School of Cognitive and Computing Science, 1993.

Check library holdings

3
Material Type:
Book
Add to My workspace

Timed process algebras : a tutorial.

M Hennessy

University of Sussex, School of Cognitive and Computing Science, 1993.

Check library holdings

4
Material Type:
Book
Add to My workspace

On 'axiomatising finite concurrent processes'.

Luca Aceto

University of Sussex, School of Cognitive and Computing Science, 1993.

Check library holdings

5
Material Type:
Book
Add to My workspace

Deriving complete inference systems for a class of GSOS languages generating regular behaviours.

Luca Aceto

University of Sussex, School of Cognitive and Computing Science, 1994.

Check library holdings

6
Material Type:
Book
Add to My workspace

Implementing algebraic covariance in feed-forward networks.

Peter M Williams

University of Sussex, School of Cognitive and Computing Science, 1993.

Check library holdings

7
Material Type:
Book
Add to My workspace

Timing and causality in process algebra.

Luca Aceto

University of Sussex, School of Cognitive and Computing Science, 1993.

Check library holdings

8
Material Type:
Book
Add to My workspace

Strong bisimulations for a calculus of broadcasting systems.

M Hennessy Rathke

University of Sussex, School of Cognitive and Computing Science, 1995.

Check library holdings

9
Material Type:
Book
Add to My workspace

Why GAs are hard to use.

Christopher James Thornton

University of Sussex, School of Cognitive and Computing Science, 1995.

Check library holdings

10
Material Type:
Book
Add to My workspace

Unique fixpoint induction for message-passing process calculi.

M Hennessy

University of Sussex, Computer Science, 1995.

Check library holdings

Results 1 - 10 of 12  for Everything in this catalogue

results 1 2 next page

Searching Remote Databases, Please Wait