skip to main content
Show Results with:

6 results  for Everything in this catalogue

Refined by: subject: Computer software remove author: Aceto, Luca. 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 theory of testing for ACP.

Luca Aceto

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

Check library holdings

3
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

4
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

5
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

6
Material Type:
Book
Add to My workspace

A complete axiomatization of timed bisimulation for a class of timed regular behaviours.

Luca Aceto

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

Check library holdings

6 results  for Everything in this catalogue

Refine Search Results

Refine my results

Author/Contributor 

  1. Aceto, Luca  (7)
  2. Jeffrey, Alan.  (1)
  3. Murphy, David  (1)
  4. Refine further open sub menu

Creation date 

From To

Searching Remote Databases, Please Wait