A complete inference system for a class of regular behaviours. (English) Zbl 0562.68065

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.
Reviewer: W.Kwasowiec


68Q55 Semantics in the theory of computing
68Q45 Formal languages and automata
Full Text: DOI Link


[1] de Bakker, J. W.; Zucker, J. I., Denotational semantics of concurrency, (Proceedings, 14th ACM Symposium on Theory of Computing (1982)), 153-158 · Zbl 0508.68010
[2] Courcelle, B., Fundamental Properties of Infinite Trees, Report No. 8105, Uer de Mathématique et Informatique Bordeaux (1981) · Zbl 0495.68019
[3] Elgot, C. C., Monadic computation and iterative algebraic theories, (Rose; Shepherdson, Logic Colloquium (1973), North-Holland: North-Holland Amsterdam), 175-230 · Zbl 0327.02040
[4] Hennessy, M.; Milner, R., On observing nondeterminism and concurrency, Lecture Notes in Computer Science, Vol. 85, 299-309 (1973)
[5] Hoare, C. A.R.; Brookes, S. D.; Roscoe, A. W., A Theory of Communicating Sequential Processes (1981), Programming Research Group: Programming Research Group Oxford University · Zbl 0628.68025
[6] Jensen, K., A Method To Compare the Descriptive Power of Different Types of Petri Nets, (DAIMI Report PB-108 (1980), Aarhus University) · Zbl 0454.68051
[7] Milner, R., A calculus of communicating systems, (Lecture Notes in Computer Science, Vol. 92 (1980), Springer-Verlag: Springer-Verlag New York/Berlin) · Zbl 0452.68027
[8] Park, D. M.R., Concurrency and Automata on Finite Sequences (1981), Computer Science Department, University of Warwick
[9] Salomaa, A., Two complete axiom systems for the algebra of regular events, J. Assoc. Comput. Mach., 13, 1, 158-169 (1966) · Zbl 0149.24902
[10] Salomaa, A., Jewels of Formal Language Theory (1981), Computer Science Press: Computer Science Press Potomac, Md · Zbl 0487.68063
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.