A complete axiomatisation for observational congruence of finite-state behaviours.

A complete axiomatisation for observational c ...
Robin Milner, Robin Milner
Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by MARC Bot
January 20, 2026 | History

A complete axiomatisation for observational congruence of finite-state behaviours.

This edition doesn't have a description yet. Can you add one?

Buy this book

Edition Availability
Cover of: A complete axiomatisation for observational congruence of finite-state behaviours.
A complete axiomatisation for observational congruence of finite-state behaviours.
1986, University ofEdinburgh, Laboratory for Foundations of Computer Science
in English

Add another edition?

Book Details


Edition Notes

Published in
Edinburgh
Series
LFCS report series -- EVS-LFCS-86-8

The Physical Object

Pagination
23p.
Number of pages
23

Edition Identifiers

Open Library
OL13934639M

Work Identifiers

Work ID
OL7950507W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation