A complete inference system for a class of regular behaviours
type: Item
instance of: scholarly article
title: A complete inference system for a class of regular behaviours
zbMATH Open document ID: 0562.68065
DOI: 10.1016/0022-0000(84)90023-0
published in: Journal of Computer and System Sciences
publication date: 1984-01-01T00:00:00Z
full work available at URL: A Complete Inference System for a Class of Regular Behaviours.pdf
review text: The author defines a behaviour as a congruence class of charts (non-deterministic finite-state acceptors). He presents a complete inference system for finite behaviours.
reviewed by: Wlodzimierz Kwasowiec
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 3896332
zbMATH Keywords: congruence class of charts
zbMATH Keywords: non-deterministic finite-state acceptors
author: Robin Milner
MaRDI profile type: Publication
OpenAlex ID: W2169869634
cites work: Q4746776
cites work: Q3959406
cites work: Q4091917
cites work: Q3883467
cites work: A Theory of Communicating Sequential Processes
cites work: Q3902494
cites work: A calculus of communicating systems
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
cites work: Q3948608
description: scientific article; zbMATH DE number 3896332