Cover image not available

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

Luca Aceto

Publication Data

Title Deriving complete inference systems for a class of GSOS languages generating regular behaviours
Author Luca Aceto
Contributor
Publisher University of Sussex, Computer Science
Publication date 1994
Publication location Brighton
Language English

Topics

Infinitary languages

Catalogue Data

OBNB ID GB9454508
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 32p.
P1042 Bibliography.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Deriving complete inference systems for a class of GSOS languages generating regular behaviours by Luca Aceto. Published by University of Sussex, Computer Science in 1994. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.